SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > TimeMeasure > TimePosition > TimePoint > NegativeInfinity |
NegativeInfinity 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 | |
NegativeInfinity | The TimePoint that is before all other TimePoints | (equal (BeginFn (PastFn ?TIME)) NegativeInfinity) | TimePoint |
Next TimePoint: PositiveInfinity Up: TimePoint