Function MEREO-SUM

Arity: 3

Subrelation-Of: Structuring-ternary

Axioms:

(=> (Mereo-Sum ?A ?B ?C)
    (And (Proper-Part-Of ?A ?C) (Proper-Part-Of ?B ?C)))

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