SUMO View all facts Glossary Help| 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