SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > TimeMeasure > TimeDuration
Next TimeMeasureTimePosition    UpTimeMeasure

TimeDuration comparison table
Subject is an instance of documentation be first domain of be second domain of have axiom
DayDurationUnitOfMeasureTime unit. 1 day = 24 hoursSubtractionFnMeasureFn
(equal
(MeasureFn ?NUMBER YearDuration)
(MeasureFn (MultiplicationFn ?NUMBER 365) DayDuration))
HourDurationUnitOfMeasureTime unit. 1 hour = 60 minutesSubtractionFnMeasureFn
(equal
(MeasureFn ?NUMBER HourDuration)
(MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration))
MinuteDurationUnitOfMeasureTime unit. 1 minute = 60 seconds.SubtractionFnMeasureFn
(equal
(MeasureFn ?NUMBER HourDuration)
(MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration))
MonthDurationUnitOfMeasureTime unit. 1/12th of a yearSubtractionFnMeasureFn
(=>
(instance ?MONTH Month)
(duration ?MONTH MonthDuration))
NanoSecondUnitOfMeasureSubmultiple of SecondDuration. Symbol: ns. A UnitOfMeasure equal to one billionth of a SecondDurationSubtractionFnMeasureFn
(equal
(MeasureFn ?NUMBER NanoSecond)
(MeasureFn (MultiplicationFn ?NUMBER 1.0E-9) Second))
PicoSecondUnitOfMeasureSubmultiple of SecondDuration. Symbol: ps. A UnitOfMeasure equal to one trillionth of a SecondDurationSubtractionFnMeasureFn
(equal
(MeasureFn ?NUMBER PicoSecond)
(MeasureFn (MultiplicationFn ?NUMBER 1.0E-12) SecondDuration))
SecondDurationTimeDurationSI TimeDuration. Symbol: s. It is one of the base units in SI, and it is currently defined as follows: the SecondDuration is the duration of 9192631770 periods of the radiation corresponding to the transition between the two hyperfine levels of the ground state of the cesium 133 atomCoulombFnfrequency
(equal
(MeasureFn ?NUMBER PicoSecond)
(MeasureFn (MultiplicationFn ?NUMBER 1.0E-12) SecondDuration))
YearDurationUnitOfMeasureTime unit. one calendar year. 1 year = 365 days = 31536000 secondsSubtractionFnMeasureFn
(equal
(MeasureFn ?NUMBER YearDuration)
(MeasureFn (MultiplicationFn ?NUMBER 365) DayDuration))

Next TimeMeasureTimePosition    UpTimeMeasure