SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > TimeMeasure > TimePosition > TimeInterval |
TimeInterval | ||||
subject | fact |
TimeInterval | documentation An interval of time. Note that a TimeInterval has both an extent and a location on the universal timeline | |
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
is first domain of BeginFn | ||
is first domain of during | ||
is first domain of earlier | ||
is first domain of EndFn | ||
is first domain of finishes | ||
is first domain of meetsTemporally | ||
is first domain of overlapsTemporally | ||
is first domain of starts | ||
is second domain of during | ||
is second domain of earlier | ||
is second domain of finishes | ||
is second domain of meetsTemporally | ||
is second domain of overlapsTemporally | ||
is second domain of starts | ||
is second domain of temporalPart | ||
is a kind of TimePosition | ||
TimePosition | is partitioned into TimeInterval, TimePoint | |
Abstract | is disjoint from Physical |
Kinds of TimeInterval :
Next TimePosition: TimePoint Up: TimePosition