SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > ThermodynamicTemperatureMeasure > Celsius
Next SystemeInternationalUnitCoulombFn    UpSystemeInternationalUnit, ThermodynamicTemperatureMeasure    Previous SystemeInternationalUnitCandela   

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) unitsUnitOfMeasureSubtractionFnMeasureFn
(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 thingConstantQuantityMagnitudeFnmeasure
(instance ?FUNCTION UnaryConstantFunctionQuantity)
(domain ?FUNCTION 1 ConstantQuantity)
(range ?FUNCTION ConstantQuantity)))
CelsiusThermodynamicTemperatureMeasureA 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 MagnitudeFnmeasure
(MeasureFn ?NUMBER Celsius)
(MeasureFn (SubtractionFn ?NUMBER 273.15) Kelvin))

Next SystemeInternationalUnitCoulombFn    UpSystemeInternationalUnit, ThermodynamicTemperatureMeasure    Previous SystemeInternationalUnitCandela