SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > CurrencyMeasure > CentUnitedStates |
CentUnitedStates | ||||
subject | fact |
CentUnitedStates | documentation A CurrencyMeasure. 1 US cent = 10^-2 US dollars | |
has axiom (equal | ||
is an instance of CurrencyMeasure | ||
is an instance of UnitOfMeasure | ||
CurrencyMeasure | is second domain of monetaryValue | |
UnitOfMeasure | is second domain of MeasureFn | |
ConstantQuantity | is first domain of MagnitudeFn | |
PhysicalQuantity | is partitioned into ConstantQuantity, FunctionQuantity | |
Abstract | is disjoint from Physical |