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 6723-6725 | |
(externalImage CelsiusDegree "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Grau_Celsius.PNG") | pictureList.kif 8412-8412 | |
(externalImage CelsiusDegree "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c9/ Raumthermometer_Fahrenheit%2BCelsius.jpg/ 597px-Raumthermometer_Fahrenheit%2BCelsius.jpg") | pictureList.kif 9046-9046 | |
(instance CelsiusDegree SystemeInternationalUnit) | Merge.kif 6721-6721 | |
(instance CelsiusDegree UnitOfTemperature) | Merge.kif 6720-6720 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage CelsiusDegree "摄氏度") | domainEnglishFormat.kif 13714-13714 | |
(termFormat ChineseTraditionalLanguage CelsiusDegree "攝氏度") | domainEnglishFormat.kif 13713-13713 | |
(termFormat EnglishLanguage CelsiusDegree "celsius degree") | domainEnglishFormat.kif 13712-13712 |
antecedent |
![]() |
(=> (and (instance ?AREA DesertClimateZone) (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?TEMP) (greaterThan ?TEMP (MeasureFn 18 CelsiusDegree))) (instance ?AREA SubtropicalDesertClimateZone)) |
Geography.kif 1352-1358 | |
(=> (and (instance ?AREA GeographicArea) (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?TEMP) (greaterThan (MeasureFn 10 CelsiusDegree) ?TEMP)) (instance ?AREA PolarClimateZone)) |
Geography.kif 1530-1536 | |
(=> (and (instance ?ICE Ice) (measure ?ICE (MeasureFn ?NUMBER CelsiusDegree))) (lessThanOrEqualTo ?NUMBER 0)) |
Mid-level-ontology.kif 8642-8646 | |
(=> (and (instance ?W Water) (instance ?M Mixture) (part ?W ?M) (instance ?A Antifreeze) (part ?A ?M) (attribute ?M Solid) (measure ?M (MeasureFn ?D CelsiusDegree))) (greaterThan 32 ?D)) |
Cars.kif 1224-1233 |
consequent |
![]() |
statement |
![]() |
(equal (MeasureFn ?NUMBER CelsiusDegree) (MeasureFn (DivisionFn (SubtractionFn ?NUMBER 32) 1.8) FahrenheitDegree)) |
Merge.kif 6731-6733 | |
(equal (MeasureFn ?NUMBER CelsiusDegree) (MeasureFn (SubtractionFn ?NUMBER 273.15) KelvinDegree)) |
Merge.kif 6727-6729 |
![]() |
![]() |