NegativeInfinity Comparison Table

Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > TimeMeasure > TimePosition > TimePoint > NegativeInfinity

Next TimePoint: PositiveInfinity Up: TimePoint

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
(=>
(instance ?POINT TimePoint)
(not
(exists (?DURATION)
(duration ?POINT ?DURATION))))
TimePosition

NegativeInfinity The TimePoint that is before all other TimePoints
(equal (BeginFn (PastFn ?TIME)) NegativeInfinity)
TimePoint

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	(=> (instance ?POINT TimePoint) (not (exists (?DURATION) (duration ?POINT ?DURATION))))	TimePosition
NegativeInfinity	The TimePoint that is before all other TimePoints	(equal (BeginFn (PastFn ?TIME)) NegativeInfinity)		TimePoint

Next TimePoint: PositiveInfinity Up: TimePoint