SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > TimeMeasure > TimePosition > TimePoint > NegativeInfinity
Next TimePointPositiveInfinity    UpTimePoint

NegativeInfinity comparison table
Subject documentation have axiom is a kind of is an instance of
TimePointAn 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
(instance ?POINT TimePoint)
(exists (?DURATION)
(duration ?POINT ?DURATION))))
NegativeInfinityThe TimePoint that is before all other TimePoints
(equal (BeginFn (PastFn ?TIME)) NegativeInfinity)

Next TimePointPositiveInfinity    UpTimePoint