TreeView Knowledge Base Browser

appearance as argument number 1

(subclass AridClimateZone ClimateZone)	Geography.kif 2802-2802	Arid climate zone is a subclass of climate zone
(documentation AridClimateZone EnglishLanguage "AridClimateZone is the class of regions in which the climate is characterized by a distinct dry season. Annual rate of moisture evaporation exceeds annual rate of precipitation. This is Class B in the Koeppen climate system.")	Geography.kif 2803-2807	Arid climate zone is a subclass of climate zone
(externalImage AridClimateZone "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ World_Koppen_Map.png")	pictureList.kif 2436-2436	Arid climate zone is a subclass of climate zone

appearance as argument number 2

(climateTypeInArea LevantRegion AridClimateZone)	Geography.kif 310-310	Arid climate zone is a climate type in area of Levant Region
(climateTypeInArea GreatBasin AridClimateZone)	Geography.kif 497-497	Arid climate zone is a climate type in area of Great Basin
(subclass SteppeClimateZone AridClimateZone)	Geography.kif 2809-2809	Steppe climate zone is a subclass of arid climate zone
(subclass DesertClimateZone AridClimateZone)	Geography.kif 2815-2815	Desert climate zone is a subclass of arid climate zone
(termFormat EnglishLanguage AridClimateZone "arid climate zone")	domainEnglishFormat.kif 8350-8350	Desert climate zone is a subclass of arid climate zone
(termFormat ChineseTraditionalLanguage AridClimateZone "乾旱氣候帶")	domainEnglishFormat.kif 8351-8351	Desert climate zone is a subclass of arid climate zone
(termFormat ChineseLanguage AridClimateZone "干旱气候带")	domainEnglishFormat.kif 8352-8352	Desert climate zone is a subclass of arid climate zone

consequent

(=>
    (instance ?DUSTSTORM DustStorm)
    (or
        (exists (?AREA1)
            (and
                (instance ?AREA1 GeographicArea)
                (climateTypeInArea ?AREA1 AridClimateZone)
                (eventLocated ?DUSTSTORM ?AREA1)))
        (exists (?AREA2)
            (and
                (instance ?AREA2 GeographicArea)
                (climateTypeInArea ?AREA2 SemiaridClimateZone)
                (eventLocated ?DUSTSTORM ?AREA2)))))

If X is an instance of dust storm, then there exists Y such that Y is an instance of geographic area, arid climate zone is a climate type in area of Y, and X is located at Y or there exists Z such that Z is an instance of geographic area, semiarid climate zone is a climate type in area of Z, and X is located at Z