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 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 Climate zone is a subclass of attribute

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


(subclass AridClimateZone ClimateZone) Geography.kif 1345-1345 Arid climate zone is a subclass of climate zone
(subclass ColdClimateZone ClimateZone) Geography.kif 1514-1514 Cold climate zone is a subclass of climate zone
(subclass MidlatitudeContinentalClimateZone ClimateZone) Geography.kif 1482-1482 Midlatitude continental climate zone is a subclass of climate zone
(subclass PolarClimateZone ClimateZone) Geography.kif 1558-1558 Polar climate zone is a subclass of climate zone
(subclass SemiaridClimateZone ClimateZone) Geography.kif 1396-1396 Semiarid climate zone is a subclass of climate zone
(subclass TemperateClimateZone ClimateZone) Geography.kif 1398-1398 Temperate climate zone is a subclass of climate zone
(subclass TropicalClimateZone ClimateZone) Geography.kif 1278-1278 Tropical climate zone is a subclass of climate zone
(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 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 1263-1267


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