Wählen Sie Sprache: 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 internationale Masseinheit
is instance of
  celsius degree  

Superclass(es)

[tree]
Wesen
is subclass of
  abstrakter Gegenstand  
is subclass of
  Eigenschaft  
is subclass of
  körperliche Quantität  
is subclass of
  konstante Quantität  
is subclass of
  Temperaturmass  
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)

Wenn number ist ein fall von reelle Zahl , dann "number celsius degree(s)" ist gleich ""(number-)" kelvin degree(s)" . 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER CelsiusDegree)
            (MeasureFn
                  (SubtractionFn ?NUMBER 273.15)
                  KelvinDegree)))
Wenn number ist ein fall von reelle Zahl , dann "number celsius degree(s)" ist gleich """(number-)"/" fahrenheit degree(s)" . 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER CelsiusDegree)
            (MeasureFn
                  (DivisionFn
                        (SubtractionFn ?NUMBER 32)
                        1.8)
                  FahrenheitDegree)))