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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(instance SouthernOcean PolarClimateZone) Geography.kif 4385-4385
(subclass PolarTypeFClimateZone PolarClimateZone) Geography.kif 1533-1533
(subclass TundraClimateZone PolarClimateZone) Geography.kif 1526-1526
(termFormat EnglishLanguage PolarClimateZone "polar climate zone") domainEnglishFormat.kif 8152-8152

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


(=>
    (and
        (instance ?AREA PolarClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP))
    (greaterThan
        (MeasureFn 10 CelsiusDegree) ?TEMP))
Geography.kif 1511-1516

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


(=>
    (and
        (instance ?AREA GeographicArea)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP)
        (greaterThan
            (MeasureFn 10 CelsiusDegree) ?TEMP))
    (instance ?AREA PolarClimateZone))
Geography.kif 1518-1524


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners