(<=> (Division-Ring ?Domain ?Plus-Op ?Zero-Id ?Mult-Op ?One-Id) (And (Ring ?Domain ?Plus-Op ?Zero-Id ?Mult-Op ?One-Id) (Group (Kappa (?X) (And (Instance-Of ?X ?Domain) (/= ?X ?Zero-Id))) ?Mult-Op ?One-Id)))