| 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 1271-1276 | |
| (externalImage ClimateZone "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ World_Koppen_Map.png") | pictureList.kif 2445-2445 | |
| (externalImage ClimateZone "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Australia-climate-map_MJC01.png") | pictureList.kif 2553-2553 | |
| (subclass ClimateZone Attribute) | Geography.kif 1269-1269 |
| appearance as argument number 2 |
|
|
| (subclass AridClimateZone ClimateZone) | Geography.kif 1345-1345 | |
| (subclass ColdClimateZone ClimateZone) | Geography.kif 1514-1514 | |
| (subclass MidlatitudeContinentalClimateZone ClimateZone) | Geography.kif 1482-1482 | |
| (subclass PolarClimateZone ClimateZone) | Geography.kif 1558-1558 | |
| (subclass SemiaridClimateZone ClimateZone) | Geography.kif 1396-1396 | |
| (subclass TemperateClimateZone ClimateZone) | Geography.kif 1398-1398 | |
| (subclass TropicalClimateZone ClimateZone) | Geography.kif 1278-1278 | |
| (termFormat ChineseLanguage ClimateZone "气候区") | domainEnglishFormat.kif 15167-15167 | |
| (termFormat ChineseTraditionalLanguage ClimateZone "氣候區") | domainEnglishFormat.kif 15166-15166 | |
| (termFormat EnglishLanguage ClimateZone "climate zone") | domainEnglishFormat.kif 15165-15165 |
| appearance as argument number 3 |
|
|
| (domainSubclass climateTypeInArea 2 ClimateZone) | Geography.kif 1246-1246 |
| antecedent |
|
|
| (=> (and (instance ?AREA ?TYPE) (subclass ?TYPE ClimateZone)) (climateTypeInArea ?AREA ?TYPE)) |
Geography.kif 1263-1267 |
|
|
|