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 1528-1532
(subclass SubtropicalDesertClimateZone DesertClimateZone) Geography.kif 1527-1527 Subtropical desert climate zone is a subclass of desert climate zone

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


(climateTypeInArea SaharaDesert SubtropicalDesertClimateZone) Geography.kif 6950-6950 Subtropical desert climate zone is a climate type in area of Sahara Desert
(termFormat ChineseLanguage SubtropicalDesertClimateZone "亚热带沙漠气候区") domainEnglishFormat.kif 55864-55864 Subtropical desert climate zone is a climate type in area of Sahara Desert
(termFormat ChineseTraditionalLanguage SubtropicalDesertClimateZone "亞熱帶沙漠氣候區") domainEnglishFormat.kif 55863-55863 Subtropical desert climate zone is a climate type in area of Sahara Desert
(termFormat EnglishLanguage SubtropicalDesertClimateZone "subtropical desert climate zone") domainEnglishFormat.kif 55862-55862 Subtropical desert climate zone is a climate type in area of Sahara Desert

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


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

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


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


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