Relation LIVING-PLACE

Arity: 2

Domain: Entity

Range: Entity

Axioms:

(= (Inverse Lives-In) Living-Place)

(<=> (Living-Place ?A ?B) (And (Entity ?A) (Entity ?B)))

• Defined in theory: Biologic-functions
• Source code: Biologic-Functions.lisp