Relation SPATIAL-COORDINATES

Arity: 3

Subrelation-Of: Position-ternary

Axioms:

(=> (Spatial-Coordinates ?A ?B ?C)
    (And (Exists (?D) (And (Spatial-Value ?A ?D) (= ?B ?D)))
         (Exists (?E) (And (Spatial-Value ?A ?E) (= ?C ?E)))))

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