SemiaridClimateZone - Sigma Knowledge base Browser

appearance as argument number 1

(subclass SemiaridClimateZone ClimateZone)	Geography.kif 2853-2853	Semiarid climate zone is a subclass of climate zone
(externalImage SemiaridClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ b/ b8/ Australia_climate_map_MJC01.png")	pictureList.kif 2522-2522	Semiarid climate zone is a subclass of climate zone
(externalImage SemiaridClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 32/ World_Koppen_Map.png")	pictureList.kif 2629-2629	Semiarid climate zone is a subclass of climate zone

appearance as argument number 2

(termFormat EnglishLanguage SemiaridClimateZone "semiarid climate zone")	domainEnglishFormat.kif 52012-52012
(termFormat ChineseTraditionalLanguage SemiaridClimateZone "半乾旱氣候帶")	domainEnglishFormat.kif 52013-52013
(termFormat ChineseLanguage SemiaridClimateZone "半干旱气候带")	domainEnglishFormat.kif 52014-52014

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