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 (=> | ||
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 :