| PolarClimateZone(polar climate zone)
|
| appearance as argument number 1 |
|
| (documentation PolarClimateZone EnglishLanguage "PolarClimateZone is a subclass of ClimateZone characterized by having an average temperature less than 10 degrees Celsius in the warmest month. This is Koeppen climate system Type E. No agriculture is supported in polar climates.") | Geography.kif 1559-1562 | |
| (externalImage PolarClimateZone "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ World_Koppen_Map.png") | pictureList.kif 2513-2513 | |
| (subclass PolarClimateZone ClimateZone) | Geography.kif 1557-1557 | Polar climate zone is a subclass of climate zone |
| appearance as argument number 2 |
|
|
| (attribute SouthernOcean PolarClimateZone) | Geography.kif 4584-4584 | Polar climate zone is an attribute of southern ocean |
| (subclass PolarTypeFClimateZone PolarClimateZone) | Geography.kif 1589-1589 | Polar typeF climate zone is a subclass of polar climate zone |
| (subclass TundraClimateZone PolarClimateZone) | Geography.kif 1582-1582 | Tundra climate zone is a subclass of polar climate zone |
| (termFormat ChineseLanguage PolarClimateZone "极地气候区") | domainEnglishFormat.kif 46401-46401 | |
| (termFormat ChineseTraditionalLanguage PolarClimateZone "極地氣候區") | domainEnglishFormat.kif 46400-46400 | |
| (termFormat EnglishLanguage PolarClimateZone "polar climate zone") | domainEnglishFormat.kif 46399-46399 |
| antecedent |
|
|
| (=> (climateTypeInArea ?AREA PolarClimateZone) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan 10.0 ?TEMP))) |
Geography.kif 1565-1571 |
|
| consequent |
|
|
| (=> (and (instance ?AREA GeographicArea) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan 10.0 ?TEMP)) (climateTypeInArea ?AREA PolarClimateZone)) |
Geography.kif 1573-1580 |
|
|
|
|