TimePosition Comparison Table

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

Next TimeMeasure: TimeDuration Up: TimeMeasure

TimePosition comparison table

Subject be third domain of documentation be second domain of be first domain of have axiom

TimeInterval An interval of time. Note that a TimeInterval has both an extent and a location on the universal timeline temporalPart starts
(=>
(instance ?POINT TimePoint)
(exists (?INTERVAL)
(and
(instance ?INTERVAL TimeInterval)
(temporalPart ?POINT ?INTERVAL))))

TimePoint temporallyBetweenOrEqual 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 WhereFn temporalPart
(=>
(instance ?POINT TimePoint)
(not
(exists (?DURATION)
(duration ?POINT ?DURATION))))

Subject	be third domain of	documentation	be second domain of	be first domain of	have axiom
TimeInterval		An interval of time. Note that a TimeInterval has both an extent and a location on the universal timeline	temporalPart	starts	(=> (instance ?POINT TimePoint) (exists (?INTERVAL) (and (instance ?INTERVAL TimeInterval) (temporalPart ?POINT ?INTERVAL))))
TimePoint	temporallyBetweenOrEqual	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	WhereFn	temporalPart	(=> (instance ?POINT TimePoint) (not (exists (?DURATION) (duration ?POINT ?DURATION))))

Next TimeMeasure: TimeDuration Up: TimeMeasure