Function ORDINATE-VALUE

Arity: 2

Subrelation-Of: Position-relation

Axioms:

(=> (Ordinate-Value ?A ?B)
    (Exists (?Y) (Spatial-Coordinates ?A ?Y ?B)))

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