SUMO   View all facts   Glossary   Help

Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > TimeMeasure > TimeDuration

TimeDuration
subject			fact

TimeDuration	documentation Any measure of length of time, with or without respect to the universal timeline
	is second domain of age
	is second domain of duration
	is second domain of frequency
	is a kind of TimeMeasure
TimeMeasure	has axiom (=> (instance ?FUNCTION TimeDependentQuantity) (domain ?FUNCTION 1 TimeMeasure))
ConstantQuantity	is first domain of MagnitudeFn
PhysicalQuantity	is partitioned into ConstantQuantity, FunctionQuantity
Abstract	is disjoint from Physical

Kinds of TimeDuration :

• DayDuration (6 facts) - Time unit. 1 day = 24 hours
• HourDuration (6 facts) - Time unit. 1 hour = 60 minutes
• MinuteDuration (6 facts) - Time unit. 1 minute = 60 seconds.
• MonthDuration (4 facts) - Time unit. 1/12th of a year
• NanoSecond (4 facts) - Submultiple of SecondDuration. Symbol: ns. A UnitOfMeasure equal to one billionth of a SecondDuration
• PicoSecond (4 facts) - Submultiple of SecondDuration. Symbol: ps. A UnitOfMeasure equal to one trillionth of a SecondDuration
• SecondDuration (7 facts) - SI 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 atom
• YearDuration (5 facts) - Time unit. one calendar year. 1 year = 365 days = 31536000 seconds