| ClimateZone
| |
| appearance as argument number 1 |
|
|
| (documentation ClimateZone EnglishLanguage "&ClimateZone is a subclass of Attribute used by the BinaryPredicate climateTypeInArea to classify a &GeographicArea according to its long-term weather conditions. The subclasses of ClimateZone are based on the Koeppen Climate Classification system. In the Koeppen system, climate zones are distinguished based on temperatures and rainfall.") | Geography.kif 1277-1282 | |
| (externalImage ClimateZone "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ World_Koppen_Map.png") | pictureList.kif 2447-2447 | |
| (externalImage ClimateZone "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Australia-climate-map_MJC01.png") | pictureList.kif 2555-2555 | |
| (subclass ClimateZone Attribute) | Geography.kif 1275-1275 |
| appearance as argument number 2 |
|
|
| (subclass AridClimateZone ClimateZone) | Geography.kif 1350-1350 | |
| (subclass ColdClimateZone ClimateZone) | Geography.kif 1518-1518 | |
| (subclass MidlatitudeContinentalClimateZone ClimateZone) | Geography.kif 1486-1486 | |
| (subclass PolarClimateZone ClimateZone) | Geography.kif 1562-1562 | |
| (subclass SemiaridClimateZone ClimateZone) | Geography.kif 1400-1400 | |
| (subclass TemperateClimateZone ClimateZone) | Geography.kif 1402-1402 | |
| (subclass TropicalClimateZone ClimateZone) | Geography.kif 1284-1284 | |
| (termFormat ChineseLanguage ClimateZone "气候区") | domainEnglishFormat.kif 15159-15159 | |
| (termFormat ChineseTraditionalLanguage ClimateZone "氣候區") | domainEnglishFormat.kif 15158-15158 | |
| (termFormat EnglishLanguage ClimateZone "climate zone") | domainEnglishFormat.kif 15157-15157 |
| appearance as argument number 3 |
|
|
| (domainSubclass climateTypeInArea 2 ClimateZone) | Geography.kif 1253-1253 |
| antecedent |
|
|
| (=> (and (instance ?AREA ?TYPE) (subclass ?TYPE ClimateZone)) (climateTypeInArea ?AREA ?TYPE)) |
Geography.kif 1269-1273 |
|
|
|