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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DesertClimateZone
DesertClimateZone

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


(documentation DesertClimateZone EnglishLanguage "DesertClimateZone is the class of AridClimateZones characterized by sparse, desert vegetation. Koeppen system 'BW'.") Geography.kif 1359-1361
(externalImage DesertClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 66/ Agasthiyamalai_range_and_Tirunelveli_rainshadow.jpg") pictureList.kif 2568-2568
(externalImage DesertClimateZone "http://upload.wikimedia.org/wikipedia/ en/ 8/ 88/ Saguaro_Forest_-_Tucson_Arizona_-_Relic38.JPG") pictureList.kif 2567-2567
(subclass DesertClimateZone AridClimateZone) Geography.kif 1358-1358

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


(subclass MiddleLatitudeDesertClimateZone DesertClimateZone) Geography.kif 1388-1388
(subclass SubtropicalDesertClimateZone DesertClimateZone) Geography.kif 1363-1363
(termFormat ChineseLanguage DesertClimateZone "沙漠气候区") domainEnglishFormat.kif 19217-19217
(termFormat ChineseTraditionalLanguage DesertClimateZone "沙漠氣候區") domainEnglishFormat.kif 19216-19216
(termFormat EnglishLanguage DesertClimateZone "desert climate zone") domainEnglishFormat.kif 19215-19215

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


(=>
    (and
        (climateTypeInArea ?AREA DesertClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan ?TEMP 18.0))
    (climateTypeInArea ?AREA SubtropicalDesertClimateZone))
Geography.kif 1370-1377


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