SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > CurrencyMeasure > DollarUnitedStates |
DollarUnitedStates | ||||
subject | fact |
DollarUnitedStates | documentation A CurrencyMeasure | |
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 |