| PolarClimateZone
|
| 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 1518-1521 | |
| (externalImage PolarClimateZone "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ World_Koppen_Map.png") | pictureList.kif 2513-2513 | |
| (subclass PolarClimateZone ClimateZone) | Geography.kif 1516-1516 | subclass PolarClimateZone and ClimateZone |
| appearance as argument number 2 |
|
|
| (instance SouthernOcean PolarClimateZone) | Geography.kif 4398-4398 | instance SouthernOcean and PolarClimateZone |
| (subclass PolarTypeFClimateZone PolarClimateZone) | Geography.kif 1545-1545 | subclass PolarTypeFClimateZone and PolarClimateZone |
| (subclass TundraClimateZone PolarClimateZone) | Geography.kif 1538-1538 | subclass TundraClimateZone and PolarClimateZone |
| (termFormat ChineseLanguage PolarClimateZone "极地气候区") | domainEnglishFormat.kif 46279-46279 | |
| (termFormat ChineseTraditionalLanguage PolarClimateZone "極地氣候區") | domainEnglishFormat.kif 46278-46278 | |
| (termFormat EnglishLanguage PolarClimateZone "polar climate zone") | domainEnglishFormat.kif 46277-46277 |
| antecedent |
|
|
| (=> (and (instance ?AREA PolarClimateZone) (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?TEMP)) (greaterThan (MeasureFn 10 CelsiusDegree) ?TEMP)) |
Geography.kif 1523-1528 |
| consequent |
|
|
| (=> (and (instance ?AREA GeographicArea) (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?TEMP) (greaterThan (MeasureFn 10 CelsiusDegree) ?TEMP)) (instance ?AREA PolarClimateZone)) |
Geography.kif 1530-1536 |
|
|
|