| ClimateZone(climate zone)
| | climatic_zone |
| 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 | Climate zone is a subclass of attribute |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass climateTypeInArea 2 ClimateZone) | Geography.kif 1240-1240 | The number 2 argument of climate type in area is a subclass of climate zone |
| antecedent |
|
|
| (=> (and (instance ?AREA ?TYPE) (subclass ?TYPE ClimateZone)) (climateTypeInArea ?AREA ?TYPE)) |
Geography.kif 1257-1261 |
|
|
|
|