SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > TimeMeasure > TimePosition > TimeInterval > Hour
Next TimeIntervalMinute    UpTimeInterval    Previous TimeIntervalDay   

Hour
subjectfact 
Hourdocumentation The Class of all clock Hours2001-11-30 13:34:26.0
has axiom
(=>
(instance (HourFn ?NUMBER ?DAY) Hour)
(lessThan ?NUMBER 24))
2001-11-30 13:34:26.0
has axiom
(=>
(instance ?HOUR Hour)
(duration ?HOUR HourDuration))
2001-11-30 13:34:26.0
has relatedInternalConcept HourDuration2001-11-30 13:34:26.0
has relatedInternalConcept HourFn2001-11-30 13:34:26.0
is second domain of MinuteFn2001-11-30 13:34:26.0
is a kind of TimeInterval2001-11-30 13:34:26.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 TimeIntervalMinute    UpTimeInterval    Previous TimeIntervalDay