kelvin degree (KelvinDegree)
SI TemperatureMeasure. Symbol: K.
It is one of the base units in SI (it is also a unit in the ITS system).
Kelvin differs from the Celsius scale in that the triple point of water
is defined to be 273.16 KelvinDegrees while it is 0 CelsiusDegrees.
The magnitudes of intervals in the two scales are the same. By definition
the conversion constant is 273.15.
Ontology
SUMO / UNITS-OF-MEASUREClass(es)
Superclass(es)
Coordinate term(s)
ampere
becquerel
candela
celsius degree
coulomb
fahrenheit degree
farad
gram
gray
henry
hertz
joule
lumen
lux
meter
mole
newton
ohm
pascal
radian
rankine degree
second duration
siemens
sievert
steradian
tesla
volt
watt
weber
Related WordNet synsets
- kelvin, K
- the basic unit of thermodynamic temperature adopted under the System International d'Unites
Axioms (2)
If number is an instance of real number, then "number celsius degree(s)" is equal to ""(number-)" kelvin degree(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER CelsiusDegree)
(MeasureFn
(SubtractionFn ?NUMBER 273.15)
KelvinDegree)))
If number is an instance of real number, then "number rankine degree(s)" is equal to ""number*" kelvin degree(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER RankineDegree)
(MeasureFn
(MultiplicationFn ?NUMBER 1.8)
KelvinDegree)))