Relation REFERENCE-LOCATION-OF

Arity: 2

Domain: Entity

Range: Entity

Subrelation-Of: Inverse-of-locative-relation

Axioms:

(<=> (Reference-Location-Of ?A ?B)
     (And (Exists (?C) (And (Region-Of ?A ?C) (Location-Of ?C ?B)))
          (Inverse-Of-Locative-Relation ?A ?B)
          (Entity ?A)
          (Entity ?B)))

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