Relation WHOLE-LOCATION-OF

Arity: 2

Domain: Entity, Region

Range: Entity

Subrelation-Of: Location-of

Axioms:

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

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