攝氏 (CelsiusDegree)
A TemperatureMeasure. The freezing point
and the boiling point of water are, respectively, 0 CelsiusDegrees and 100
CelsiusDegrees.
Ontology
SUMO / UNITS-OF-MEASUREClass(es)
Superclass(es)
Coordinate term(s)
電流強度單位-安培
放射性活度單位
發光強度的單位
庫侖
華氏-度
電容量單位-法拉
克
入射劑量
電感單位
頻率單位-赫茲
功或能的單位-焦爾
絕對溫標
光束的能量單位
照明度的國際單位
公尺
克分子量
力的單位-牛頓
電阻單位-歐姆
壓力的單位
弧度
摩擦角度
秒計
電導單位
劑量當量
球面度
磁通量密度之國際單位
電壓單位
瓦特
磁通量
Related WordNet synsets
- degree Centigrade, degree Celsius, C
- a degree on the Centigrade scale of temperature
- centigrade scale, Celsius scale
- a system of measuring temperature; 0 is the melting point of ice and 100 is the boiling point of water
- 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
Axioms (2)
If number 是 實數 的 實例, then "number 攝氏(s)" 等於 ""(number-)" 絕對溫標(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER CelsiusDegree)
(MeasureFn
(SubtractionFn ?NUMBER 273.15)
KelvinDegree)))
If number 是 實數 的 實例, then "number 攝氏(s)" 等於 """(number-)"/" 華氏-度(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER CelsiusDegree)
(MeasureFn
(DivisionFn
(SubtractionFn ?NUMBER 32)
1.8)
FahrenheitDegree)))