Celsius Comparison Table

Next SystemeInternationalUnit: CoulombFn Up: SystemeInternationalUnit, ThermodynamicTemperatureMeasure Previous SystemeInternationalUnit: Candela

Celsius 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)))

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 MagnitudeFn measure
(equal
(MeasureFn ?NUMBER Celsius)
(MeasureFn (SubtractionFn ?NUMBER 273.15) 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)))
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		MagnitudeFn	measure	(equal (MeasureFn ?NUMBER Celsius) (MeasureFn (SubtractionFn ?NUMBER 273.15) Kelvin))

Next SystemeInternationalUnit: CoulombFn Up: SystemeInternationalUnit, ThermodynamicTemperatureMeasure Previous SystemeInternationalUnit: Candela