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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SubtropicalDesertClimateZone

Sigma KEE - SubtropicalDesertClimateZone
SubtropicalDesertClimateZone

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 1364-1368
(subclass SubtropicalDesertClimateZone DesertClimateZone) Geography.kif 1363-1363 SubtropicalDesertClimateZone ist eine teilkategorie von DesertClimateZone

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


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

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


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

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


(=>
    (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 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