PositiveInfinity Comparison Table

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

Next TimePoint: NegativeInfinity Up: TimePoint

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

PositiveInfinity The TimePoint that is after all other TimePoints
(equal (EndFn (FutureFn ?TIME)) PositiveInfinity)
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
PositiveInfinity	The TimePoint that is after all other TimePoints	(equal (EndFn (FutureFn ?TIME)) PositiveInfinity)		TimePoint

Next TimePoint: NegativeInfinity Up: TimePoint