Relation IS-ORDINATE-VALUE-OF

Arity: 2

Axioms:

(= (Inverse Ordinate-Value) Is-Ordinate-Value-Of)

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