Relation MEREOLOGICAL-MEMBER

Arity: 2

Domain: Entity

Range: Entity

Axioms:

(= (Inverse Mereological-Member-Of) Mereological-Member)

(<=> (Mereological-Member ?A ?B) (And (Entity ?A) (Entity ?B)))

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