Relation INVERSE-OF-LOCATIVE-RELATION

Arity: 2

Axioms:

(= (Inverse Locative-Relation) Inverse-Of-Locative-Relation)

• Defined in theory: Structuring-concepts
• Source code: Structuring-Concepts.lisp