SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > TimeMeasure > TimePosition > TimePoint > PositiveInfinity |
PositiveInfinity comparison table |
Subject | documentation | have axiom | is a kind of | is an instance of |
---|---|---|---|---|
TimePoint | An extensionless point on the universal timeline. The TimePoints at which Processes occur can be known with various degrees of precision and approximation, but conceptually TimePoints are point-like and not interval-like. That is, it doesn't make sense to talk about what happens during a TimePoint, or how long the TimePoint lasts | (=> | TimePosition | |
PositiveInfinity | The TimePoint that is after all other TimePoints | (equal (EndFn (FutureFn ?TIME)) PositiveInfinity) | TimePoint |
Next TimePoint: NegativeInfinity Up: TimePoint