PolarTypeFClimateZone
|
|
appearance as argument number 1 |
(documentation PolarTypeFClimateZone EnglishLanguage "PolarTypeFClimateZone is a subclass of PolarClimateZone characterized by having no month in which the temperature rises to 10 degrees Celsius or above.") | Geography.kif 1593-1595 | |
(externalImage PolarTypeFClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8f/ Vatnaj%C3%B6kull.jpeg") | pictureList.kif 2513-2513 | |
(subclass PolarTypeFClimateZone PolarClimateZone) | Geography.kif 1591-1591 |
appearance as argument number 2 |
(termFormat ChineseLanguage PolarTypeFClimateZone "极地型F气候区") | domainEnglishFormat.kif 46394-46394 | |
(termFormat ChineseTraditionalLanguage PolarTypeFClimateZone "極地型F氣候區") | domainEnglishFormat.kif 46393-46393 | |
(termFormat EnglishLanguage PolarTypeFClimateZone "polar typeF climate zone") | domainEnglishFormat.kif 46392-46392 |
antecedent |
(=> (and (climateTypeInArea ?AREA PolarTypeFClimateZone) (instance ?TIME TimePosition) (holdsDuring ?TIME (airTemperature ?AREA (MeasureFn ?TEMP CelsiusDegree)))) (holdsDuring ?TIME (greaterThan 10.0 ?TEMP))) |
Geography.kif 1597-1603 |