SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > TimeMeasure > TimeDuration > DayDuration
Next TimeDurationHourDuration    UpTimeDuration, UnitOfMeasure    Previous TimeDurationYearDuration   

DayDuration
subjectfact 
DayDurationdocumentation Time unit. 1 day = 24 hours2001-11-30 13:34:00.0
has axiom
(=>
(instance ?DAY Day)
(duration ?DAY DayDuration))
2001-11-30 13:34:00.0
has axiom
(equal
(MeasureFn ?NUMBER DayDuration)
(MeasureFn (MultiplicationFn ?NUMBER 24) HourDuration))
2001-11-30 13:34:00.0
has axiom
(equal
(MeasureFn ?NUMBER YearDuration)
(MeasureFn (MultiplicationFn ?NUMBER 365) DayDuration))
2001-11-30 13:34:00.0
is an instance of TimeDuration2001-11-30 13:34:00.0
is an instance of UnitOfMeasure2001-11-30 13:34:00.0
TimeDurationis second domain of age2001-11-30 13:35:26.0
is second domain of duration2001-11-30 13:35:26.0
is second domain of frequency2001-11-30 13:35:26.0
UnitOfMeasureis second domain of MeasureFn2001-11-30 13:35:31.0
PhysicalQuantityis partitioned into ConstantQuantity, FunctionQuantity2001-11-30 13:34:58.0
ConstantQuantityis first domain of MagnitudeFn2001-11-30 13:33:55.0
Quantityis first domain of AdditionFn2001-11-30 13:35:06.0
is first domain of DivisionFn2001-11-30 13:35:06.0
is first domain of ExponentiationFn2001-11-30 13:35:06.0
is first domain of greaterThan2001-11-30 13:35:06.0
is first domain of greaterThanOrEqualTo2001-11-30 13:35:06.0
is first domain of lessThan2001-11-30 13:35:06.0
is first domain of lessThanOrEqualTo2001-11-30 13:35:06.0
is first domain of MaxFn2001-11-30 13:35:06.0
is first domain of MinFn2001-11-30 13:35:06.0
is first domain of MultiplicationFn2001-11-30 13:35:06.0
is first domain of ReciprocalFn2001-11-30 13:35:06.0
is first domain of RemainderFn2001-11-30 13:35:06.0
is first domain of RoundFn2001-11-30 13:35:06.0
is first domain of SubtractionFn2001-11-30 13:35:06.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Next TimeDurationHourDuration    UpTimeDuration, UnitOfMeasure    Previous TimeDurationYearDuration