Relation GENERIC-LOCATION-OF

Arity: 2

Domain: Entity, Region

Range: Entity

Subrelation-Of: Location-of

Axioms:

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

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