SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > ThermodynamicTemperatureMeasure > Kelvin
Next SystemeInternationalUnit: Kilogram    Up: SystemeInternationalUnit, ThermodynamicTemperatureMeasure    Previous SystemeInternationalUnit: Joule   

Kelvin
subjectfact 
Kelvindocumentation SI ThermodynamicTemperatureMeasure. Symbol: K. It is one of the base units in SI (it is also a unit in the ITS system). It is defined as follows: the Kelvin is the fraction 1/273.16 of the thermodynamic temperature of the triple point of water2001-11-30 13:34:33.0
has axiom 
(equal
         (MeasureFn ?NUMBER Celsius)
         (MeasureFn (SubtractionFn ?NUMBER 273.15) Kelvin))
2001-11-30 13:34:33.0
has axiom 
(equal
         (MeasureFn ?NUMBER Rankine)
         (MeasureFn (MultiplicationFn ?NUMBER 1.8) Kelvin))
2001-11-30 13:34:33.0
is an instance of SystemeInternationalUnit2001-11-30 13:34:33.0
is an instance of ThermodynamicTemperatureMeasure2001-11-30 13:34:33.0
UnitOfMeasureis second domain of MeasureFn2001-11-30 13:35:31.0
ConstantQuantityis first domain of MagnitudeFn2001-11-30 13:33:55.0
is second domain of measure2001-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