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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1346-1350
(subclass SubtropicalDesertClimateZone DesertClimateZone) Geography.kif 1345-1345

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


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

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


(=>
    (and
        (instance ?AREA SubtropicalDesertClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP))
    (greaterThan ?TEMP
        (MeasureFn 18 CelsiusDegree)))
Geography.kif 1360-1365

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


(=>
    (and
        (instance ?AREA DesertClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP)
        (greaterThan ?TEMP
            (MeasureFn 18 CelsiusDegree)))
    (instance ?AREA SubtropicalDesertClimateZone))
Geography.kif 1352-1358


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