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

Day comparison table
Subject have relatedInternalConcept documentation is a kind of be second domain of have axiom
TimeInterval An interval of time. Note that a TimeInterval has both an extent and a location on the universal timelineTimePositiontemporalPart
(=>
(instance ?POINT TimePoint)
(exists (?INTERVAL)
(and
(instance ?INTERVAL TimeInterval)
(temporalPart ?POINT ?INTERVAL))))
DayDayFnThe Class of all calendar DaysTimeIntervalHourFn
(=>
(instance ?DAY Day)
(duration ?DAY DayDuration))

Next TimeIntervalHour    UpTimeInterval    Previous TimeIntervalYear