 SUMO   View all facts   Glossary   Help Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > TimeMeasure > TimePosition > TimePoint
Next TimePositionTimeInterval    UpTimePosition  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 : Next TimePositionTimeInterval    UpTimePosition