SUMO   View all facts   Glossary   Help

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

TimePosition
subject			fact

TimePosition	documentation Any TimePoint or TimeInterval along the universal timeline from NegativeInfinity to PositiveInfinity
	has axiom (=> (and (instance ?TIME TimePosition) (holdsDuring ?TIME (possesses ?AGENT1 ?OBJ)) (holdsDuring ?TIME (possesses ?AGENT2 ?OBJ))) (equal ?AGENT1 ?AGENT2))
	is first domain of duration
	is first domain of FutureFn
	is first domain of holdsDuring
	is first domain of ImmediateFutureFn
	is first domain of ImmediatePastFn
	is first domain of PastFn
	is second domain of birthTime
	is second domain of deathTime
	is second domain of existant
	is second domain of time
	is partitioned into TimeInterval, TimePoint
	is a kind of TimeMeasure
Abstract	is disjoint from Physical

Kinds of TimePosition :

• TimeInterval (6 kinds, 63 facts) - An interval of time. Note that a TimeInterval has both an extent and a location on the universal timeline
• TimePoint (2 kinds, 32 facts) - 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