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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PolarClimateZone
PolarClimateZone(polar climate zone)

appearance as argument number 1
-------------------------


(documentation PolarClimateZone EnglishLanguage "PolarClimateZone is a subclass of ClimateZone characterized by having an average temperature less than 10 degrees Celsius in the warmest month. This is Koeppen climate system Type E. No agriculture is supported in polar climates.") Geography.kif 1560-1563
(externalImage PolarClimateZone "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ World_Koppen_Map.png") pictureList.kif 2512-2512
(subclass PolarClimateZone ClimateZone) Geography.kif 1558-1558 Polar climate zone is a subclass of climate zone

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


(attribute SouthernOcean PolarClimateZone) Geography.kif 4681-4681 Polar climate zone is an attribute of southern ocean
(subclass PolarTypeFClimateZone PolarClimateZone) Geography.kif 1591-1591 Polar typeF climate zone is a subclass of polar climate zone
(subclass TundraClimateZone PolarClimateZone) Geography.kif 1584-1584 Tundra climate zone is a subclass of polar climate zone
(termFormat ChineseLanguage PolarClimateZone "极地气候区") domainEnglishFormat.kif 46380-46380
(termFormat ChineseTraditionalLanguage PolarClimateZone "極地氣候區") domainEnglishFormat.kif 46379-46379
(termFormat EnglishLanguage PolarClimateZone "polar climate zone") domainEnglishFormat.kif 46378-46378

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


(=>
    (climateTypeInArea ?AREA PolarClimateZone)
    (exists (?MO ?TEMP)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?TEMP CelsiusDegree))
            (greaterThan 10.0 ?TEMP))))
Geography.kif 1566-1573

consequent
-------------------------


(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan 10.0 ?TEMP))
    (climateTypeInArea ?AREA PolarClimateZone))
Geography.kif 1575-1582


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