Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ClimateZone
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 1277-1282
(externalImage ClimateZone "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ World_Koppen_Map.png") pictureList.kif 2447-2447
(externalImage ClimateZone "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Australia-climate-map_MJC01.png") pictureList.kif 2555-2555
(subclass ClimateZone Attribute) Geography.kif 1275-1275 Climate zone is a subclass of attribute

appearance as argument number 2
-------------------------


(subclass AridClimateZone ClimateZone) Geography.kif 1350-1350 Arid climate zone is a subclass of climate zone
(subclass ColdClimateZone ClimateZone) Geography.kif 1518-1518 Cold climate zone is a subclass of climate zone
(subclass MidlatitudeContinentalClimateZone ClimateZone) Geography.kif 1486-1486 Midlatitude continental climate zone is a subclass of climate zone
(subclass PolarClimateZone ClimateZone) Geography.kif 1562-1562 Polar climate zone is a subclass of climate zone
(subclass SemiaridClimateZone ClimateZone) Geography.kif 1400-1400 Semiarid climate zone is a subclass of climate zone
(subclass TemperateClimateZone ClimateZone) Geography.kif 1402-1402 Temperate climate zone is a subclass of climate zone
(subclass TropicalClimateZone ClimateZone) Geography.kif 1284-1284 Tropical climate zone is a subclass of climate zone
(termFormat ChineseLanguage ClimateZone "气候区") domainEnglishFormat.kif 15159-15159
(termFormat ChineseTraditionalLanguage ClimateZone "氣候區") domainEnglishFormat.kif 15158-15158
(termFormat EnglishLanguage ClimateZone "climate zone") domainEnglishFormat.kif 15157-15157

appearance as argument number 3
-------------------------


(domainSubclass climateTypeInArea 2 ClimateZone) Geography.kif 1253-1253 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 1269-1273


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners