Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

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-MEASURE

Class(es)

systeme international unit
is instance of
  kelvin degree  

Superclass(es)

[tree]
entity
is subclass of
  abstract  
is subclass of
  quantity  
is subclass of
  physical quantity  
is subclass of
  constant quantity  
is subclass of
  temperature measure  
is subclass of
  kelvin degree  

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
kelvin is kind of (all)...   kelvin is kind of...  

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