CelsiusDegree
|
|
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 7005-7007 | |
(documentation CelsiusDegree JapaneseLanguage "TemperatureMeasure。 水の点位と沸点は、それ ぞれ、0 CelsiusDegrees 及び100 CelsiusDegreesである。") | japanese_format.kif 1264-1265 | |
(externalImage CelsiusDegree "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Grau_Celsius.PNG") | pictureList.kif 8410-8410 | |
(externalImage CelsiusDegree "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c9/ Raumthermometer_Fahrenheit%2BCelsius.jpg/ 597px-Raumthermometer_Fahrenheit%2BCelsius.jpg") | pictureList.kif 9041-9041 | |
(instance CelsiusDegree SystemeInternationalUnit) | Merge.kif 7003-7003 | CelsiusDegree は システム国際ユニット の instance では %n |
(instance CelsiusDegree UnitOfTemperature) | Merge.kif 7002-7002 | CelsiusDegree は UnitOfTemperature の instance では %n |
appearance as argument number 2 |
(termFormat ChineseLanguage CelsiusDegree "摄氏度") | domainEnglishFormat.kif 13704-13704 | |
(termFormat ChineseTraditionalLanguage CelsiusDegree "攝氏度") | domainEnglishFormat.kif 13703-13703 | |
(termFormat EnglishLanguage CelsiusDegree "celsius degree") | domainEnglishFormat.kif 13702-13702 |
antecedent |
consequent |
statement |
(equal (MeasureFn ?NUMBER CelsiusDegree) (MeasureFn (DivisionFn (SubtractionFn ?NUMBER 32.0) 1.8) FahrenheitDegree)) |
Merge.kif 7013-7015 | 実数 の CelsiusDegree(s) は ( 実数 + 32.0) + 1.8 の FahrenheitDegree(s) と equal では %n |
(equal (MeasureFn ?NUMBER CelsiusDegree) (MeasureFn (SubtractionFn ?NUMBER 273.15) KelvinDegree)) |
Merge.kif 7009-7011 | 実数 の CelsiusDegree(s) は ( 実数 + 273.15) の KelvinDegree(s) と equal では %n |