SUMO   View all facts   Glossary   Help

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

PositiveInfinity
subject			fact

PositiveInfinity	documentation The TimePoint that is after all other TimePoints
	has axiom (=> (and (instance ?POINT TimePoint) (not (equal ?POINT PositiveInfinity))) (exists (?OTHERPOINT) (temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))
	has axiom (=> (and (instance ?POINT TimePoint) (not (equal ?POINT PositiveInfinity))) (before ?POINT PositiveInfinity))
	has axiom (equal (EndFn (FutureFn ?TIME)) PositiveInfinity)
	is an instance of TimePoint
TimePoint	is first domain of before
	is first domain of beforeEq
	is first domain of temporallyBetween
	is first domain of temporallyBetweenOrEqual
	is first domain of temporalPart
	is second domain of before
	is second domain of beforeEq
	is second domain of temporallyBetween
	is second domain of temporallyBetweenOrEqual
	is second domain of WhereFn
	is third domain of temporallyBetween
	is third domain of temporallyBetweenOrEqual
TimePosition	is partitioned into TimeInterval, TimePoint
Abstract	is disjoint from Physical

Next TimePoint: NegativeInfinity    Up: TimePoint