Relation IS-REGION-OF

Arity: 2

Domain: Region

Range: Entity

Axioms:

(= (Inverse Region-Of) Is-Region-Of)

(<=> (Is-Region-Of ?A ?B) (And (Region ?A) (Entity ?B)))

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