ThermodynamicTemperatureMeasure Comparison Table

Next ConstantQuantity: TimeMeasure Up: ConstantQuantity Previous ConstantQuantity: SolidAngleMeasure

ThermodynamicTemperatureMeasure comparison table

Subject is an instance of documentation be second domain of have axiom

Celsius ThermodynamicTemperatureMeasure A ThermodynamicTemperatureMeasure. Kelvin differs from the Celsius scale in that the triple point of water is defined to be 273.16 degrees Kelvin while it is 0 degrees Celsius. The boiling point of water is 100 degrees Celsius. The magnitudes of intervals in the two scales are the same. By definition the conversion constant is 273.1 measure
(equal
(MeasureFn ?NUMBER Celsius)
(MeasureFn (SubtractionFn ?NUMBER 273.15) Kelvin))

Kelvin ThermodynamicTemperatureMeasure 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 water measure
(equal
(MeasureFn ?NUMBER Rankine)
(MeasureFn (MultiplicationFn ?NUMBER 1.8) Kelvin))

Rankine UnitOfMeasure A ThermodynamicTemperatureMeasure. Note that 0 degrees Rankine is the same as the absolute zero (i.e. 0 degrees Kelvin) MeasureFn
(equal
(MeasureFn ?NUMBER Rankine)
(MeasureFn (MultiplicationFn ?NUMBER 1.8) Kelvin))

Subject	is an instance of	documentation	be second domain of	have axiom
Celsius	ThermodynamicTemperatureMeasure	A ThermodynamicTemperatureMeasure. Kelvin differs from the Celsius scale in that the triple point of water is defined to be 273.16 degrees Kelvin while it is 0 degrees Celsius. The boiling point of water is 100 degrees Celsius. The magnitudes of intervals in the two scales are the same. By definition the conversion constant is 273.1	measure	(equal (MeasureFn ?NUMBER Celsius) (MeasureFn (SubtractionFn ?NUMBER 273.15) Kelvin))
Kelvin	ThermodynamicTemperatureMeasure	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 water	measure	(equal (MeasureFn ?NUMBER Rankine) (MeasureFn (MultiplicationFn ?NUMBER 1.8) Kelvin))
Rankine	UnitOfMeasure	A ThermodynamicTemperatureMeasure. Note that 0 degrees Rankine is the same as the absolute zero (i.e. 0 degrees Kelvin)	MeasureFn	(equal (MeasureFn ?NUMBER Rankine) (MeasureFn (MultiplicationFn ?NUMBER 1.8) Kelvin))

Next ConstantQuantity: TimeMeasure Up: ConstantQuantity Previous ConstantQuantity: SolidAngleMeasure