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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ClimateZone

Sigma KEE - ClimateZone
ClimateZone

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 ClimateZone est une sous-classe de attribut

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


(subclass AridClimateZone ClimateZone) Geography.kif 1345-1345 AridClimateZone est une sous-classe de ClimateZone
(subclass ColdClimateZone ClimateZone) Geography.kif 1514-1514 ColdClimateZone est une sous-classe de ClimateZone
(subclass MidlatitudeContinentalClimateZone ClimateZone) Geography.kif 1482-1482 MidlatitudeContinentalClimateZone est une sous-classe de ClimateZone
(subclass PolarClimateZone ClimateZone) Geography.kif 1558-1558 PolarClimateZone est une sous-classe de ClimateZone
(subclass SemiaridClimateZone ClimateZone) Geography.kif 1396-1396 SemiaridClimateZone est une sous-classe de ClimateZone
(subclass TemperateClimateZone ClimateZone) Geography.kif 1398-1398 TemperateClimateZone est une sous-classe de ClimateZone
(subclass TropicalClimateZone ClimateZone) Geography.kif 1278-1278 TropicalClimateZone est une sous-classe de ClimateZone
(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 Le nombre 2 argument de climateTypeInArea est une sous-classe de ClimateZone

antecedent
-------------------------


(=>
    (and
        (instance ?AREA ?TYPE)
        (subclass ?TYPE ClimateZone))
    (climateTypeInArea ?AREA ?TYPE))
Geography.kif 1263-1267


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

Show without tree


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