SUMO   View all facts   Glossary   Help

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

NegativeInfinity
subject			fact

NegativeInfinity	documentation The TimePoint that is before all other TimePoints
	has axiom (=> (and (instance ?POINT TimePoint) (not (equal ?POINT NegativeInfinity))) (exists (?OTHERPOINT) (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))
	has axiom (=> (and (instance ?POINT TimePoint) (not (equal ?POINT NegativeInfinity))) (before NegativeInfinity ?POINT))
	has axiom (equal (BeginFn (PastFn ?TIME)) NegativeInfinity)
	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: PositiveInfinity    Up: TimePoint