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属性subclass では %n

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


(subclass AridClimateZone ClimateZone) Geography.kif 1345-1345 AridClimateZoneClimateZonesubclass では %n
(subclass ColdClimateZone ClimateZone) Geography.kif 1514-1514 ColdClimateZoneClimateZonesubclass では %n
(subclass MidlatitudeContinentalClimateZone ClimateZone) Geography.kif 1482-1482 MidlatitudeContinentalClimateZoneClimateZonesubclass では %n
(subclass PolarClimateZone ClimateZone) Geography.kif 1558-1558 PolarClimateZoneClimateZonesubclass では %n
(subclass SemiaridClimateZone ClimateZone) Geography.kif 1396-1396 SemiaridClimateZoneClimateZonesubclass では %n
(subclass TemperateClimateZone ClimateZone) Geography.kif 1398-1398 TemperateClimateZoneClimateZonesubclass では %n
(subclass TropicalClimateZone ClimateZone) Geography.kif 1278-1278 TropicalClimateZoneClimateZonesubclass では %n
(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 climateTypeInArea の数値 2 引数は ClimateZonesubclass では %n

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