Kelvin Comparison Table

Next SystemeInternationalUnit: Kilogram Up: SystemeInternationalUnit, ThermodynamicTemperatureMeasure Previous SystemeInternationalUnit: Joule

Kelvin comparison table

Subject is an instance of documentation is a kind of be first domain of be second domain of have axiom

SystemeInternationalUnit The Class of Systeme International (SI) units UnitOfMeasure SubtractionFn MeasureFn
(=>
(and
(instance ?REL RelationExtendedToQuantities)
(instance ?REL BinaryRelation)
(instance ?NUMBER1 RealNumber)
(instance ?NUMBER2 RealNumber)
(holds ?REL ?NUMBER1 ?NUMBER2))
(forall (?UNIT)
(=>
(instance ?UNIT UnitOfMeasure)
(holds ?REL (MeasureFn ?NUMBER1 ?UNIT) (MeasureFn ?NUMBER2 ?UNIT)))))

ThermodynamicTemperatureMeasure Measures of temperature. In scientific circles, the temperature of something is understood as the average velocity of the atoms or molecules that make up the thing ConstantQuantity MagnitudeFn measure
(=>
(instance ?FUNCTION UnaryConstantFunctionQuantity)
(and
(domain ?FUNCTION 1 ConstantQuantity)
(range ?FUNCTION ConstantQuantity)))

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

Subject	is an instance of	documentation	is a kind of	be first domain of	be second domain of	have axiom
SystemeInternationalUnit		The Class of Systeme International (SI) units	UnitOfMeasure	SubtractionFn	MeasureFn	(=> (and (instance ?REL RelationExtendedToQuantities) (instance ?REL BinaryRelation) (instance ?NUMBER1 RealNumber) (instance ?NUMBER2 RealNumber) (holds ?REL ?NUMBER1 ?NUMBER2)) (forall (?UNIT) (=> (instance ?UNIT UnitOfMeasure) (holds ?REL (MeasureFn ?NUMBER1 ?UNIT) (MeasureFn ?NUMBER2 ?UNIT)))))
ThermodynamicTemperatureMeasure		Measures of temperature. In scientific circles, the temperature of something is understood as the average velocity of the atoms or molecules that make up the thing	ConstantQuantity	MagnitudeFn	measure	(=> (instance ?FUNCTION UnaryConstantFunctionQuantity) (and (domain ?FUNCTION 1 ConstantQuantity) (range ?FUNCTION ConstantQuantity)))
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		MagnitudeFn	measure	(equal (MeasureFn ?NUMBER Rankine) (MeasureFn (MultiplicationFn ?NUMBER 1.8) Kelvin))

Next SystemeInternationalUnit: Kilogram Up: SystemeInternationalUnit, ThermodynamicTemperatureMeasure Previous SystemeInternationalUnit: Joule