**Defined in theory: Kif-numbers****Source code: kif-numbers.lisp****Also defined in:**Physical-quantities, Unary-scalar-functions

**Documentation:**The sentence {tt (

*<*$tau_1$ $tau_2$)} is true if and only if the number denoted by $tau_1$ is less than the number denoted by $tau_2$.**Arity:**2