HarmattanWind - Sigma Knowledge base Browser

appearance as argument number 1

(subclass HarmattanWind Wind)	Weather.kif 1983-1983	Harmattan wind is a subclass of wind
(documentation HarmattanWind EnglishLanguage "HarmattanWind is a dry and dusty northeasterly trade wind, which blows from the Sahara over West Africa into the Gulf of Guinea. The name is related to the word haramata in the Twi language. The HarmattanWind blows during the dry season, which occurs during the months with the lowest sun. On its passage over the Sahara, the Harmattan picks fine dust and sand particles (between 0.5 and 10 microns). HarmattanWind blows in the season of Harmattan, of the same name, in West Aftica that occurs between end of November and middle of March.The HarmattanWind brings desert-like weather conditions: it lowers the humidity, dissipates cloud cover, prevents rainfall formation and sometimes creates big clouds of dust which can result in dust storms or sandstorms.[Wikipedia]")	Weather.kif 1984-1992	Harmattan wind is a subclass of wind
(externalImage HarmattanWind "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ MosqueinAbuja.jpg")	pictureList.kif 8515-8515	Harmattan wind is a subclass of wind

appearance as argument number 2

(termFormat EnglishLanguage HarmattanWind "harmattan wind")	domainEnglishFormat.kif 27482-27482
(termFormat ChineseTraditionalLanguage HarmattanWind "哈馬坦風")	domainEnglishFormat.kif 27483-27483
(termFormat ChineseLanguage HarmattanWind "哈马坦风")	domainEnglishFormat.kif 27484-27484

antecedent

(=> (and (instance ?W HarmattanWind) (eventLocated ?W WesternAfrica) (origin ?W SaharaDesert) (destination ?W GulfOfGuinea) (located ?W ?LOC)) (holdsDuring (WhenFn ?W) (surfaceWindDirection ?LOC Northeast)))	Weather.kif 1994-2003	If X is an instance of harmattan wind, X is located at western africa, X originates at Sahara Desert, X ends up at Gulf Of Guinea, and X is located at Y, then northeast of is a surface wind direction of Y holds during the time of existence of X
(=> (instance ?W HarmattanWind) (property ?W Dry))	Weather.kif 2005-2007	If X is an instance of harmattan wind, then X the attribute dry
(=> (instance ?W HarmattanWind) (modalAttribute (exists (?D) (and (instance ?D DustStorm) (causes ?W ?D))) Possibility))	Weather.kif 2009-2015	If X is an instance of harmattan wind, then the statement there exists Y such that Y is an instance of dust storm and X causes Y has the modal force of possibility

consequent

(=>
    (instance ?H HarmattanSeason)
    (modalAttribute
        (exists (?W)
            (and
                (instance ?W HarmattanWind)
                (during
                    (WhenFn ?W) ?H))) Likely))

If X is an instance of Harmattan season, then the statement there exists Y such that Y is an instance of harmattan wind and the time of existence of Y takes place during X has the modal force of likely