Relation EXACT-LOCATION-OF

Arity: 2

Domain: Region

Range: Entity

Subrelation-Of: Location-of, Whole-location-of

Axioms:

(<=> (Exact-Location-Of ?A ?B)
     (And (Exists (?C) (And (Location-Of ?A ?C) (Part-Of ?C ?B)))
          (Location-Of ?A ?B)
          (Whole-Location-Of ?A ?B)
          (Region ?A)
          (Entity ?B)))

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