*lessThanOrEqualTo* | *documentation* (*lessThanOrEqualTo* ?NUMBER1 ?NUMBER2) is *true* just in case the Quantity ?NUMBER1 is less than or *equal* to the Quantity ?NUMBER2 | |

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

**has axiom** (=> (*equal* (*FloorFn* ?NUMBER) ?INT) (*not* (exists (?OTHERINT) (*and* (*instance* ?OTHERINT Integer) (*lessThanOrEqualTo* ?OTHERINT ?NUMBER) (*greaterThan* ?OTHERINT ?INT)))))
| |

**has axiom** (=> (*instance* (*DayFn* ?NUMBER ?MONTH) Day) (*lessThanOrEqualTo* ?NUMBER 31))
| |

**has axiom** (=> (*instance* (*MonthFn* ?NUMBER ?YEAR) Month) (*lessThanOrEqualTo* ?NUMBER 12))
| |

**has domain1** Quantity | |

**has domain2** Quantity | |

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

**is an ***instance* of PartialOrderingRelation | |

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

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 | |