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

PositiveInfinity
subjectfact 
PositiveInfinitydocumentation The TimePoint that is after all other TimePoints2001-11-30 13:35:01.0
has axiom
(=> 	
(and
(instance ?POINT TimePoint)
(not (equal ?POINT PositiveInfinity)))
(exists (?OTHERPOINT)
(temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))
2001-11-30 13:35:01.0
has axiom
(=> 
(and
(instance ?POINT TimePoint)
(not (equal ?POINT PositiveInfinity)))
(before ?POINT PositiveInfinity))
2001-11-30 13:35:01.0
has axiom
(equal (EndFn (FutureFn ?TIME)) PositiveInfinity)
2001-11-30 13:35:01.0
is an instance of TimePoint2001-11-30 13:35:01.0
TimePointis first domain of before2001-11-30 13:35:27.0
is first domain of beforeEq2001-11-30 13:35:27.0
is first domain of temporallyBetween2001-11-30 13:35:27.0
is first domain of temporallyBetweenOrEqual2001-11-30 13:35:27.0
is first domain of temporalPart2001-11-30 13:35:27.0
is second domain of before2001-11-30 13:35:27.0
is second domain of beforeEq2001-11-30 13:35:27.0
is second domain of temporallyBetween2001-11-30 13:35:27.0
is second domain of temporallyBetweenOrEqual2001-11-30 13:35:27.0
is second domain of WhereFn2001-11-30 13:35:27.0
is third domain of temporallyBetween2001-11-30 13:35:27.0
is third domain of temporallyBetweenOrEqual2001-11-30 13:35:27.0
TimePositionis partitioned into TimeInterval, TimePoint2001-11-30 13:35:27.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Next TimePointNegativeInfinity    UpTimePoint