Relation TOPOLOGICALLY-NEAR

Arity: 2

Subrelation-Of: Position-relation

Axioms:

(<=> (Topologically-Near ?A ?B)
     (And (Position-Relation ?A ?B)
          (Exists (?C ?D ?E ?F)
                  (And (Neighborhood ?A ?C)
                       (Region-Of ?C ?D)
                       (Overlaps ?D ?E)
                       (Is-Region-Of ?E ?F)
                       (Is-Neighborhood-Of ?F ?B)))))

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