Relation _ATOM

Arity: 2

Subrelation-Of: Mereological-property

Axioms:

(=> (_Atom ?A ?B) (Not (Exists (?Y) (Proper-Part ?Y ?A))))

• Defined in theory: Mereology
• Source code: Mereology.lisp