Function REMAINDER

Arity: 3

Subrelation-Of: Structuring-ternary

Axioms:

(=> (Remainder ?A ?B ?C)
    (And (Proper-Part-Of ?A ?B)
         (Proper-Part-Of ?C ?B)
         (Different ?C ?A)
         (Not (Exists (?W)
                      (And (Proper-Part-Of ?W ?B)
                           (Or (Different ?W ?A) (Different ?W ?C)))))))

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