![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation CelsiusDegree ChineseLanguage "这是一个 TemperatureMeasure,水的冰点和沸点 分别是 0 CelsiusDegree 和 100 CelsiusDegree。") | chinese_format.kif 2561-2562 | |
(documentation CelsiusDegree EnglishLanguage "A TemperatureMeasure. The freezing point and the boiling point of water are, respectively, 0 CelsiusDegrees and 100 CelsiusDegrees.") | Merge.kif 6908-6910 | |
(externalImage CelsiusDegree "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Grau_Celsius.PNG") | pictureList.kif 8411-8411 | |
(externalImage CelsiusDegree "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c9/ Raumthermometer_Fahrenheit%2BCelsius.jpg/ 597px-Raumthermometer_Fahrenheit%2BCelsius.jpg") | pictureList.kif 9042-9042 | |
(instance CelsiusDegree SystemeInternationalUnit) | Merge.kif 6906-6906 | Celsius degree is an instance of systeme international unit |
(instance CelsiusDegree UnitOfTemperature) | Merge.kif 6905-6905 | Celsius degree is an instance of UnitOfTemperature |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage CelsiusDegree "摄氏度") | domainEnglishFormat.kif 13707-13707 | |
(termFormat ChineseTraditionalLanguage CelsiusDegree "攝氏度") | domainEnglishFormat.kif 13706-13706 | |
(termFormat EnglishLanguage CelsiusDegree "celsius degree") | domainEnglishFormat.kif 13705-13705 |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(equal (MeasureFn ?NUMBER CelsiusDegree) (MeasureFn (DivisionFn (SubtractionFn ?NUMBER 32.0) 1.8) FahrenheitDegree)) |
Merge.kif 6916-6918 | A real number celsius degree(s) is equal to (the real number and 32.0) and 1.8 fahrenheit degree(s) |
(equal (MeasureFn ?NUMBER CelsiusDegree) (MeasureFn (SubtractionFn ?NUMBER 273.15) KelvinDegree)) |
Merge.kif 6912-6914 | A real number celsius degree(s) is equal to (the real number and 273.15) kelvin degree(s) |
![]() |
![]() |