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

溫度單位 (TemperatureMeasure)

Measures of temperature. In scientific circles, the temperature of something is understood as the average velocity of the atoms or molecules that make up the thing.

Ontology

SUMO / UNITS-OF-MEASURE

Superclass(es)

[tree]
實體
is subclass of
  抽象的  
is subclass of
  數量  
is subclass of
  物理量  
is subclass of
  常量  
is subclass of
  溫度單位  

Subclass(es)

絕對溫標  攝氏  摩擦角度  華氏-度 

Coordinate term(s)

角度單位  面積單位  匯率單位  資訊單位  長度單位  質量單位  時間單位  體積單位 

Related WordNet synsets

temperature
the degree of hotness or coldness of a body or environment (corresponding to its molecular activity)
temperature is kind of (all)...   temperature is kind of...   kinds of temperature...   kinds of temperature (all)...   temperature is an attribute of  
heat content, total heat, enthalpy
the sum of the internal energy of a system and the product of its volume and pressure
heat content is kind of (all)...   heat content is kind of...  
See more related synsets on a separate page.

Axioms (2)

If heat加溫實例 and objheat受事者, then there exist 溫度單位 unit,quant1,quant2 so that "obj unit(s)" 等於 quant1 ""heat 存在 的 時間" 不久 之前"a(之中) "heat 存在 的 時間" 不久 之前 and "obj unit(s)" 等於 quant2 ""heat 存在 的 時間" 不久 之後"a(之中) "heat 存在 的 時間" 不久 之後 and quant2 (不) 大於 quant1.
(=>
      (and
            (instance ?HEAT Heating)
            (patient ?HEAT ?OBJ))
      (exists
            (?UNIT ?QUANT1 ?QUANT2)
            (and
                  (instance ?UNIT TemperatureMeasure)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?HEAT))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT1))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?HEAT))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT2))
                  (greaterThan ?QUANT2 ?QUANT1))))

If cool降溫實例 and objcool受事者, then there exist 溫度單位 unit,quant1,quant2 so that "obj unit(s)" 等於 quant1 ""cool 存在 的 時間" 不久 之前"a(之中) "cool 存在 的 時間" 不久 之前 and "obj unit(s)" 等於 quant2 ""cool 存在 的 時間" 不久 之後"a(之中) "cool 存在 的 時間" 不久 之後 and quant2 小於 quant1.
(=>
      (and
            (instance ?COOL Cooling)
            (patient ?COOL ?OBJ))
      (exists
            (?UNIT ?QUANT1 ?QUANT2)
            (and
                  (instance ?UNIT TemperatureMeasure)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?COOL))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT1))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?COOL))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT2))
                  (lessThan ?QUANT2 ?QUANT1))))