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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SubtropicalDesertClimateZone
SubtropicalDesertClimateZone(subtropical desert climate zone)

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


(documentation SubtropicalDesertClimateZone EnglishLanguage "SubtropicalDesertClimateZone is a subclass of DesertClimateZone that is characterized by an average temperature greater than 18 degrees Celsius, as well as very low rainfall. This is Koeppen system 'BWh'.") Geography.kif 1358-1362
(subclass SubtropicalDesertClimateZone DesertClimateZone) Geography.kif 1357-1357 Subtropical desert climate zone is a subclass of desert climate zone

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


(termFormat ChineseLanguage SubtropicalDesertClimateZone "亚热带沙漠气候区") domainEnglishFormat.kif 55893-55893
(termFormat ChineseTraditionalLanguage SubtropicalDesertClimateZone "亞熱帶沙漠氣候區") domainEnglishFormat.kif 55892-55892
(termFormat EnglishLanguage SubtropicalDesertClimateZone "subtropical desert climate zone") domainEnglishFormat.kif 55891-55891

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


(=>
    (climateTypeInArea ?AREA SubtropicalDesertClimateZone)
    (exists (?MO ?TEMP)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?TEMP CelsiusDegree))
            (greaterThan ?TEMP 18.0))))
Geography.kif 1373-1380

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


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


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