SUMO   View all facts   Glossary   Help

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

TimePoint
subject			fact

TimePoint	documentation 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
	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 NegativeInfinity))) (exists (?OTHERPOINT) (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))
	has axiom (=> (instance ?OBJ Object) (exists (?TIME1 ?TIME2) (and (instance ?TIME1 TimePoint) (instance ?TIME2 TimePoint) (before ?TIME1 ?TIME2) (forall (?TIME) (=> (and (beforeEq ?TIME1 ?TIME) (beforeEq ?TIME ?TIME2)) (existant ?OBJ ?TIME))))))
	has axiom (=> (and (instance ?POINT TimePoint) (not (equal ?POINT PositiveInfinity))) (before ?POINT PositiveInfinity))
	has axiom (=> (and (instance ?POINT TimePoint) (not (equal ?POINT NegativeInfinity))) (before NegativeInfinity ?POINT))
	has axiom (=> (and (birthTime ?ORGANISM ?TIME1) (deathTime ?ORGANISM ?TIME2) (instance ?TIME1 TimePoint) (instance ?TIME2 TimePoint)) (exists (?INTERVAL) (and (equal (BeginFn ?INTERVAL) ?TIME1) (equal (EndFn ?INTERVAL) ?TIME2) (holdsDuring ?INTERVAL (attribute ?ORGANISM Living)))))
	has axiom (=> (instance ?POINT TimePoint) (exists (?INTERVAL) (and (instance ?INTERVAL TimeInterval) (temporalPart ?POINT ?INTERVAL))))
	has axiom (=> (instance ?POINT TimePoint) (not (exists (?DURATION) (duration ?POINT ?DURATION))))
	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
	is a kind of TimePosition
TimePosition	is partitioned into TimeInterval, TimePoint
Abstract	is disjoint from Physical

Kinds of TimePoint :

• NegativeInfinity (5 facts) - The TimePoint that is before all other TimePoints
• PositiveInfinity (5 facts) - The TimePoint that is after all other TimePoints

Next TimePosition: TimeInterval    Up: TimePosition