Relation SMALLER

Arity: 2

Subrelation-Of: Quantitative-relation

Axioms:

(=> (Smaller ?A ?B)
    (Exists (?C ?D) (And (Size ?A ?D) (Size ?B ?C) (> ?C ?D))))

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