Relation INVERSE-OF-MEREOLOGICAL-RELATION

Arity: 2
Axioms:
(= (Inverse Mereological-Relation) Inverse-Of-Mereological-Relation)