SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > CurrencyMeasure > CentUnitedStates
Next CurrencyMeasure: DollarUnitedStates    Up: CurrencyMeasure, UnitOfMeasure

CentUnitedStates
subjectfact 
CentUnitedStatesdocumentation A CurrencyMeasure. 1 US cent = 10^-2 US dollars2001-11-30 13:33:50.0
has axiom 
(equal
         (MeasureFn ?NUMBER CentUnitedStates)
         (MeasureFn (MultiplicationFn ?NUMBER .01) DollarUnitedStates))
2001-11-30 13:33:50.0
is an instance of CurrencyMeasure2001-11-30 13:33:50.0
is an instance of UnitOfMeasure2001-11-30 13:33:50.0
CurrencyMeasureis second domain of monetaryValue2001-11-30 13:33:59.0
UnitOfMeasureis second domain of MeasureFn2001-11-30 13:35:31.0
ConstantQuantityis first domain of MagnitudeFn2001-11-30 13:33:55.0
PhysicalQuantityis partitioned into ConstantQuantity, FunctionQuantity2001-11-30 13:34:58.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0