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