ClimateZone - Sigma Knowledge base Browser

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 2446-2446
(externalImage ClimateZone "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Australia-climate-map_MJC01.png")	pictureList.kif 2554-2554
(subclass ClimateZone Attribute)	Geography.kif 1269-1269	子類氣候區 and Attribute

appearance as argument number 2

(subclass AridClimateZone ClimateZone)	Geography.kif 1345-1345	子類乾旱氣候帶 and 氣候區
(subclass ColdClimateZone ClimateZone)	Geography.kif 1514-1514	子類寒冷氣候帶 and 氣候區
(subclass MidlatitudeContinentalClimateZone ClimateZone)	Geography.kif 1482-1482	子類中緯度大陸性氣候帶 and 氣候區
(subclass PolarClimateZone ClimateZone)	Geography.kif 1558-1558	子類極地氣候區 and 氣候區
(subclass SemiaridClimateZone ClimateZone)	Geography.kif 1396-1396	子類半乾旱氣候帶 and 氣候區
(subclass TemperateClimateZone ClimateZone)	Geography.kif 1398-1398	子類溫帶氣候區 and 氣候區
(subclass TropicalClimateZone ClimateZone)	Geography.kif 1278-1278	子類熱帶氣候區 and 氣候區
(termFormat ChineseLanguage ClimateZone "气候区")	domainEnglishFormat.kif 15156-15156
(termFormat ChineseTraditionalLanguage ClimateZone "氣候區")	domainEnglishFormat.kif 15155-15155
(termFormat EnglishLanguage ClimateZone "climate zone")	domainEnglishFormat.kif 15154-15154

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