Relation EXACTLY-LOCATED

The actual, minimal localization, where the range is necessarily a region. A more specialized notion of 'location'.

Arity: 2

Range: Region

Subrelation-Of: Partly-located, Wholly-located

Axioms:

(<=> (Exactly-Located ?A ?B)
     (And (Wholly-Located ?A ?B) (Partly-Located ?A ?B) (Region ?B)))

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