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 (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
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 TimePosition: TimeInterval Up: TimePosition