Relation PROPER-PART-OF

Arity: 2

Subrelation-Of: Mereological-relation, Part-of

Axioms:

(=> (Proper-Part-Of ?A ?B) (Not (Part-Of ?B ?A)))

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