celsius degree (CelsiusDegree)
A TemperatureMeasure. The freezing point
and the boiling point of water are, respectively, 0 CelsiusDegrees and 100
CelsiusDegrees.
Ontologie
SUMO / UNITS-OF-MEASUREClass(es)
Nadtřída(y)
Související termín(y)
ampere
becquerel
candela
coulomb
fahrenheit degree
farad
gram
gray
henry
hertz
joule
kelvin degree
lumen
lux
meter
mole
newton
ohm
pascal
radian
rankine degree
second duration
siemens
sievert
steradian
tesla
volt
watt
weber
Related WordNet synsets
- degree Centigrade, degree Celsius, C
- a degree on the Centigrade scale of temperature
- centigrade scale, Celsius scale
- a system of measuring temperature; 0 is the melting point of ice and 100 is the boiling point of water
- celsius, centigrade, c
- of a temperature scale that registers the freezing point of water as 0 degrees C and the boiling point as 100 degrees C under normal atmospheric pressure
Axiomy (2)
Jestliže number je instancí třídy reálné číslo, potom "number celsius degree(s)" se rovná ""(number-)" kelvin degree(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER CelsiusDegree)
(MeasureFn
(SubtractionFn ?NUMBER 273.15)
KelvinDegree)))
Jestliže number je instancí třídy reálné číslo, potom "number celsius degree(s)" se rovná """(number-)"/" fahrenheit degree(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER CelsiusDegree)
(MeasureFn
(DivisionFn
(SubtractionFn ?NUMBER 32)
1.8)
FahrenheitDegree)))