Relation SAME

Identity of regions is reciprocal parthood.

Arity: 2

Domain: Region

Range: Region

Subrelation-Of: Part, Part-of

Axioms:

(<=> (Same ?A ?B)
     (And (Part-Of ?A ?B) (Part ?A ?B) (Region ?A) (Region ?B)))

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