SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > TimeMeasure > TimePosition > TimeInterval > Day
Next TimeIntervalHour    UpTimeInterval    Previous TimeIntervalYear   

Day
subjectfact 
Daydocumentation The Class of all calendar Days2001-11-30 13:34:00.0
has axiom
(=>
(instance (DayFn ?NUMBER ?MONTH) Day)
(lessThanOrEqualTo ?NUMBER 31))
2001-11-30 13:34:00.0
has axiom
(=>
(instance ?DAY Day)
(duration ?DAY DayDuration))
2001-11-30 13:34:00.0
has relatedInternalConcept DayDuration2001-11-30 13:34:00.0
has relatedInternalConcept DayFn2001-11-30 13:34:00.0
is second domain of date2001-11-30 13:34:00.0
is second domain of HourFn2001-11-30 13:34:00.0
is a kind of TimeInterval2001-11-30 13:34:00.0
TimeIntervalis first domain of BeginFn2001-11-30 13:35:26.0
is first domain of during2001-11-30 13:35:26.0
is first domain of earlier2001-11-30 13:35:26.0
is first domain of EndFn2001-11-30 13:35:26.0
is first domain of finishes2001-11-30 13:35:26.0
is first domain of meetsTemporally2001-11-30 13:35:26.0
is first domain of overlapsTemporally2001-11-30 13:35:26.0
is first domain of starts2001-11-30 13:35:26.0
TimePositionis partitioned into TimeInterval, TimePoint2001-11-30 13:35:27.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Next TimeIntervalHour    UpTimeInterval    Previous TimeIntervalYear