Relation COMMON-PART

Arity: 2

Subrelation-Of: Mereological-relation

Axioms:

(<=> (Common-Part ?A ?B)
     (And (Mereological-Relation ?A ?B)
          (Exists (?C) (And (Part ?A ?C) (Part-Of ?C ?B)))))

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