![]() |
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