SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > TimeMeasure > TimeDuration > MonthDuration |
MonthDuration | ||||
subject | fact |
MonthDuration | documentation Time unit. 1/12th of a year | |
has axiom (=> | ||
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: NanoSecond Up: TimeDuration, UnitOfMeasure Previous TimeDuration: MinuteDuration