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

celsius degree (CelsiusDegree)

A TemperatureMeasure. The freezing point and the boiling point of water are, respectively, 0 CelsiusDegrees and 100 CelsiusDegrees.

Ontology

SUMO / UNITS-OF-MEASURE

Class(es)

systeme international unit
is instance of
  celsius 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
  celsius degree  

Coordinate term(s)

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
degree Centigrade is kind of (all)...   degree Centigrade is kind of...  
centigrade scale, Celsius scale
a system of measuring temperature; 0 is the melting point of ice and 100 is the boiling point of water
centigrade scale is kind of (all)...   centigrade scale is kind of...  
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
celsius is opposite to...  

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 celsius degree(s)" is equal to """(number-)"/" fahrenheit degree(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER CelsiusDegree)
            (MeasureFn
                  (DivisionFn
                        (SubtractionFn ?NUMBER 32)
                        1.8)
                  FahrenheitDegree)))