Relation IS-ORDINAL-VALUE-OF

Arity: 2

Axioms:

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

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