SUMO   View all facts   Glossary   Help

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

MinuteDuration
subject			fact

MinuteDuration	documentation Time unit. 1 minute = 60 seconds.
	has axiom (=> (instance ?MINUTE Minute) (duration ?MINUTE MinuteDuration))
	has axiom (equal (MeasureFn ?NUMBER MinuteDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) SecondDuration))
	has axiom (equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration))
	is an instance of TimeDuration
	is an instance of UnitOfMeasure
TimeDuration	is second domain of age
	is second domain of duration
	is second domain of frequency
UnitOfMeasure	is second domain of MeasureFn
PhysicalQuantity	is partitioned into ConstantQuantity, FunctionQuantity
ConstantQuantity	is first domain of MagnitudeFn
Quantity	is first domain of AdditionFn
	is first domain of DivisionFn
	is first domain of ExponentiationFn
	is first domain of greaterThan
	is first domain of greaterThanOrEqualTo
	is first domain of lessThan
	is first domain of lessThanOrEqualTo
	is first domain of MaxFn
	is first domain of MinFn
	is first domain of MultiplicationFn
	is first domain of ReciprocalFn
	is first domain of RemainderFn
	is first domain of RoundFn
	is first domain of SubtractionFn
Abstract	is disjoint from Physical

Next TimeDuration: MonthDuration    Up: TimeDuration, UnitOfMeasure    Previous TimeDuration: HourDuration