| 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 1724-1727 | |
| (externalImage PolarClimateZone "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ World_Koppen_Map.png") | pictureList.kif 2511-2511 | |
| (subclass PolarClimateZone ClimateZone) | Geography.kif 1722-1722 | PolarClimateZone は ClimateZone の subclass では |
| appearance as argument number 2 |
|
|
| (attribute SouthernOcean PolarClimateZone) | Geography.kif 4921-4921 | PolarClimateZone は SouthernOcean の attribute では |
| (subclass PolarTypeFClimateZone PolarClimateZone) | Geography.kif 1755-1755 | PolarTypeFClimateZone は PolarClimateZone の subclass では |
| (subclass TundraClimateZone PolarClimateZone) | Geography.kif 1748-1748 | TundraClimateZone は PolarClimateZone の subclass では |
| (termFormat ChineseLanguage PolarClimateZone "极地气候区") | domainEnglishFormat.kif 46382-46382 | TundraClimateZone は PolarClimateZone の subclass では |
| (termFormat ChineseTraditionalLanguage PolarClimateZone "極地氣候區") | domainEnglishFormat.kif 46381-46381 | TundraClimateZone は PolarClimateZone の subclass では |
| (termFormat EnglishLanguage PolarClimateZone "polar climate zone") | domainEnglishFormat.kif 46380-46380 | TundraClimateZone は PolarClimateZone の subclass では |
| antecedent |
|
|
| (=> (climateTypeInArea ?AREA PolarClimateZone) (exists (?MO ?TEMP) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan 10.0 ?TEMP)))) |
Geography.kif 1730-1737 |
|
| consequent |
|
|
| (=> (and (instance ?AREA GeographicArea) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan 10.0 ?TEMP)) (climateTypeInArea ?AREA PolarClimateZone)) |
Geography.kif 1739-1746 |
|
|
|
|