TreeView Knowledge Base Browser - SubtropicalDesertClimateZone

appearance as argument number 1

(subclass SubtropicalDesertClimateZone DesertClimateZone)	Geography.kif 2820-2820	Subtropical desert climate zone is a subclass of desert climate zone
(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 2821-2825	Subtropical desert climate zone is a subclass of desert climate zone

appearance as argument number 2

(climateTypeInArea DeathValley SubtropicalDesertClimateZone)	Geography.kif 517-517	Subtropical desert climate zone is a climate type in area of Death Valley
(climateTypeInArea SaharaDesert SubtropicalDesertClimateZone)	Geography.kif 8277-8277	Subtropical desert climate zone is a climate type in area of Sahara Desert
(termFormat EnglishLanguage SubtropicalDesertClimateZone "subtropical desert climate zone")	domainEnglishFormat.kif 55855-55855	Subtropical desert climate zone is a climate type in area of Sahara Desert
(termFormat ChineseTraditionalLanguage SubtropicalDesertClimateZone "亞熱帶沙漠氣候區")	domainEnglishFormat.kif 55856-55856	Subtropical desert climate zone is a climate type in area of Sahara Desert
(termFormat ChineseLanguage SubtropicalDesertClimateZone "亚热带沙漠气候区")	domainEnglishFormat.kif 55857-55857	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))))

If subtropical desert climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and X average temperature for period Y for Z celsius degree(s) and Z is greater than 18.0

consequent

(=>
    (and
        (climateTypeInArea ?AREA DesertClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan ?TEMP 18.0))
    (climateTypeInArea ?AREA SubtropicalDesertClimateZone))

If desert climate zone is a climate type in area of X, Y is an instance of month, X average temperature for period Y for Z celsius degree(s), and Z is greater than 18.0, then subtropical desert climate zone is a climate type in area of X