SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > ThermodynamicTemperatureMeasure > Rankine
Next ThermodynamicTemperatureMeasureCelsius    UpThermodynamicTemperatureMeasure, UnitOfMeasure    Previous ThermodynamicTemperatureMeasureKelvin   

Rankinedocumentation A ThermodynamicTemperatureMeasure. Note that 0 degrees Rankine is the same as the absolute zero (i.e. 0 degrees Kelvin)2001-11-30 13:35:08.0
has axiom
(MeasureFn ?NUMBER Rankine)
(MeasureFn (MultiplicationFn ?NUMBER 1.8) Kelvin))
2001-11-30 13:35:08.0
is an instance of ThermodynamicTemperatureMeasure2001-11-30 13:35:08.0
is an instance of UnitOfMeasure2001-11-30 13:35:08.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