*lessThan* | *documentation* (*lessThan* ?NUMBER1 ?NUMBER2) is *true* just in case the Quantity ?NUMBER1 is less than the Quantity ?NUMBER2 | |

**has axiom** (*<=>* (*lessThanOrEqualTo* ?NUMBER1 ?NUMBER2) (or (*equal* ?NUMBER1 ?NUMBER2) (*lessThan* ?NUMBER1 ?NUMBER2)))
| |

**has axiom** (=> (*and* (*instance* ?DECREASE Decreasing) (*patient* ?DECREASE ?OBJ)) (exists (?UNIT ?QUANT1 ?QUANT2) (*and* (*holdsDuring* (*ImmediatePastFn* (*WhenFn* ?DECREASE)) (*equal* (*MeasureFn* ?OBJ ?UNIT) ?QUANT1)) (*holdsDuring* (*ImmediateFutureFn* (*WhenFn* ?DECREASE)) (*equal* (*MeasureFn* ?OBJ ?UNIT) ?QUANT2)) (*lessThan* ?QUANT2 ?QUANT1))))
| |

**has axiom** (=> (*and* (*instance* ?INT1 Integer) (*instance* ?INT2 Integer)) (*not* (*and* (*lessThan* ?INT1 ?INT2) (*lessThan* ?INT2 (*SuccessorFn* ?INT1)))))
| |

**has axiom** (=> (*and* (*instance* ?INT1 Integer) (*instance* ?INT2 Integer)) (*not* (*and* (*lessThan* ?INT2 ?INT1) (*lessThan* (*PredecessorFn* ?INT1) ?INT2))))
| |

**has axiom** (=> (*equal* (*CeilingFn* ?NUMBER) ?INT) (*not* (exists (?OTHERINT) (*and* (*instance* ?OTHERINT Integer) (*greaterThanOrEqualTo* ?OTHERINT ?NUMBER) (*lessThan* ?OTHERINT ?INT)))))
| |

**has axiom** (=> (*equal* (*MinFn* ?NUMBER1 ?NUMBER2) ?NUMBER) (or (*and* (*equal* ?NUMBER ?NUMBER1) (*lessThan* ?NUMBER1 ?NUMBER2)) (*and* (*equal* ?NUMBER ?NUMBER2) (*lessThan* ?NUMBER2 ?NUMBER1)) (*and* (*equal* ?NUMBER ?NUMBER1) (*equal* ?NUMBER ?NUMBER2))))
| |

**has axiom** (=> (*equal* (*RoundFn* ?NUMBER1) ?NUMBER2) (or (=> (*lessThan* (*SubtractionFn* ?NUMBER1 (*FloorFn* ?NUMBER1)) .5) (*equal* ?NUMBER2 (*FloorFn* ?NUMBER1))) (=> (*greaterThanOrEqualTo* (*SubtractionFn* ?NUMBER1 (*FloorFn* ?NUMBER1)) .5) (*equal* ?NUMBER2 (*CeilingFn* ?NUMBER1)))))
| |

**has axiom** (=> (*instance* (*HourFn* ?NUMBER ?DAY) Hour) (*lessThan* ?NUMBER 24))
| |

**has axiom** (=> (*instance* (*MinuteFn* ?NUMBER ?HOUR) Minute) (*lessThan* ?NUMBER 60))
| |

**has axiom** (=> (*instance* (*SecondFn* ?NUMBER ?MINUTE) Second) (*lessThan* ?NUMBER 60))
| |

**has axiom** (=> (*instance* ?INT Integer) (*lessThan* ?INT (*SuccessorFn* ?INT)))
| |

**has axiom** (=> (*instance* ?INTERVAL (*HourIntervalFn* ?NUMBER1 ?NUMBER2)) (*and* (*lessThan* ?NUMBER1 24) (*lessThan* ?NUMBER2 24) (*lessThan* ?NUMBER1 ?NUMBER2)))
| |

**has axiom** (=> (*instance* ?NUMBER NegativeRealNumber) (*lessThan* ?NUMBER 0))
| |

**has domain1** Quantity | |

**has domain2** Quantity | |

**is an ***instance* of BinaryPredicate | |

**is an ***instance* of IrreflexiveRelation | |

**is an ***instance* of RelationExtendedToQuantities | |

**is an ***instance* of TransitiveRelation | |

BinaryRelation | **is first ***domain* of *DomainFn* | |

**is first ***domain* of *equivalenceRelationOn* | |

**is first ***domain* of *inverse* | |

**is first ***domain* of *irreflexiveOn* | |

**is first ***domain* of *partialOrderingOn* | |

**is first ***domain* of *RangeFn* | |

**is first ***domain* of *reflexiveOn* | |

**is first ***domain* of *totalOrderingOn* | |

**is first ***domain* of *trichotomizingOn* | |

**is second ***domain* of *inverse* | |

Predicate | **is first ***domain* of *singleValued* | |

Relation | **is first ***domain* of *domain* | |

**is first ***domain* of *domainSubclass* | |

**is first ***domain* of *holds* | |

**is first ***domain* of *subrelation* | |

**is first ***domain* of *valence* | |

**is second ***domain* of *subrelation* | |

Class | **is third ***domain* of *domain* | |

**is third ***domain* of *domainSubclass* | |

Abstract | **is ***disjoint* from Physical | |