| 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 1265-1270 | |
| (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 1263-1263 |
| appearance as argument number 2 |
|
|
| (subclass AridClimateZone ClimateZone) | Geography.kif 1339-1339 | |
| (subclass ColdClimateZone ClimateZone) | Geography.kif 1508-1508 | |
| (subclass MidlatitudeContinentalClimateZone ClimateZone) | Geography.kif 1476-1476 | |
| (subclass PolarClimateZone ClimateZone) | Geography.kif 1552-1552 | |
| (subclass SemiaridClimateZone ClimateZone) | Geography.kif 1390-1390 | |
| (subclass TemperateClimateZone ClimateZone) | Geography.kif 1392-1392 | |
| (subclass TropicalClimateZone ClimateZone) | Geography.kif 1272-1272 | |
| (termFormat ChineseLanguage ClimateZone "气候区") | domainEnglishFormat.kif 15171-15171 | |
| (termFormat ChineseTraditionalLanguage ClimateZone "氣候區") | domainEnglishFormat.kif 15170-15170 | |
| (termFormat EnglishLanguage ClimateZone "climate zone") | domainEnglishFormat.kif 15169-15169 |
| appearance as argument number 3 |
|
|
| (domainSubclass climateTypeInArea 2 ClimateZone) | Geography.kif 1240-1240 |
| antecedent |
|
|
| (=> (and (instance ?AREA ?TYPE) (subclass ?TYPE ClimateZone)) (climateTypeInArea ?AREA ?TYPE)) |
Geography.kif 1257-1261 |
|
|
|