ClimateZone - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ClimateZone Attribute)	Geography.kif 2726-2726	Climate zone is a subclass of attribute
(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 2728-2733	Climate zone is a subclass of attribute
(externalImage ClimateZone "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ World_Koppen_Map.png")	pictureList.kif 2445-2445	Climate zone is a subclass of attribute
(externalImage ClimateZone "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Australia_climate_map_MJC01.png")	pictureList.kif 2553-2553	Climate zone is a subclass of attribute

appearance as argument number 2

(subclass TropicalClimateZone ClimateZone)	Geography.kif 2735-2735	Tropical climate zone is a subclass of climate zone
(subclass AridClimateZone ClimateZone)	Geography.kif 2802-2802	Arid climate zone is a subclass of climate zone
(subclass SemiaridClimateZone ClimateZone)	Geography.kif 2853-2853	Semiarid climate zone is a subclass of climate zone
(subclass TemperateClimateZone ClimateZone)	Geography.kif 2855-2855	Temperate climate zone is a subclass of climate zone
(subclass MidlatitudeContinentalClimateZone ClimateZone)	Geography.kif 2939-2939	Midlatitude continental climate zone is a subclass of climate zone
(subclass ColdClimateZone ClimateZone)	Geography.kif 2971-2971	Cold climate zone is a subclass of climate zone
(subclass PolarClimateZone ClimateZone)	Geography.kif 3015-3015	Polar climate zone is a subclass of climate zone
(termFormat EnglishLanguage ClimateZone "climate zone")	domainEnglishFormat.kif 15156-15156	Polar climate zone is a subclass of climate zone
(termFormat ChineseTraditionalLanguage ClimateZone "氣候區")	domainEnglishFormat.kif 15157-15157	Polar climate zone is a subclass of climate zone
(termFormat ChineseLanguage ClimateZone "气候区")	domainEnglishFormat.kif 15158-15158	Polar climate zone is a subclass of climate zone

appearance as argument number 3

(domainSubclass climateTypeInArea 2 ClimateZone)

antecedent

(=>
    (and
        (instance ?AREA ?TYPE)
        (subclass ?TYPE ClimateZone))
    (climateTypeInArea ?AREA ?TYPE))

If X is an instance of Y and Y is a subclass of climate zone, then Y is a climate type in area of X