SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > TimeMeasure > TimePosition > TimeInterval > Day |
Day | ||||
subject | fact |
Day | documentation The Class of all calendar Days | |
has axiom (=> | ||
has axiom (=> | ||
has relatedInternalConcept DayDuration | ||
has relatedInternalConcept DayFn | ||
is second domain of date | ||
is second domain of HourFn | ||
is a kind of TimeInterval | ||
TimeInterval | 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 | ||
TimePosition | is partitioned into TimeInterval, TimePoint | |
Abstract | is disjoint from Physical |
Next TimeInterval: Hour Up: TimeInterval Previous TimeInterval: Year