SUMO View all facts Glossary Help| SUMO View all facts Glossary Help |
| Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > TimeMeasure > TimePosition > TimePoint |
  | ||
| TimePoint comparison table | ||
| Subject | documentation | have axiom |
|---|---|---|
| NegativeInfinity | The TimePoint that is before all other TimePoints | (equal (BeginFn (PastFn ?TIME)) NegativeInfinity) |
| PositiveInfinity | The TimePoint that is after all other TimePoints | (equal (EndFn (FutureFn ?TIME)) PositiveInfinity) |
Next TimePosition: TimeInterval Up: TimePosition