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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PolarClimateZone

Sigma KEE - PolarClimateZone
PolarClimateZone

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 1565-1568
(externalImage PolarClimateZone "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ World_Koppen_Map.png") pictureList.kif 2513-2513
(subclass PolarClimateZone ClimateZone) Geography.kif 1563-1563

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


(attribute SouthernOcean PolarClimateZone) Geography.kif 4590-4590
(subclass PolarTypeFClimateZone PolarClimateZone) Geography.kif 1595-1595
(subclass TundraClimateZone PolarClimateZone) Geography.kif 1588-1588
(termFormat ChineseLanguage PolarClimateZone "极地气候区") domainEnglishFormat.kif 46370-46370
(termFormat ChineseTraditionalLanguage PolarClimateZone "極地氣候區") domainEnglishFormat.kif 46369-46369
(termFormat EnglishLanguage PolarClimateZone "polar climate zone") domainEnglishFormat.kif 46368-46368

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


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

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


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


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