Relation LOWER-THAN

Arity: 2

Axioms:

(= (Inverse Higher-Than) Lower-Than)

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