Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| HarmattanSeason(Harmattan season) |
| appearance as argument number 1 |
|
| (subclass HarmattanSeason TimeInterval) | Weather.kif 2017-2017 | Harmattan season is a subclass of timeframe |
| (documentation HarmattanSeason EnglishLanguage "HarmattanSeason is a season in West Africa that occurs between the end of November and the middle of March. This season differs from winter because it is characterized by cold, dry, dust-laden wind, and also wide fluctuations in the ambient temperatures of the day and night. [Wikipedia]") | Weather.kif 2018-2021 | Harmattan season is a subclass of timeframe |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HarmattanSeason "Harmattan season") | Weather.kif 2022-2022 |
| antecedent |
|
|
| (=> (instance ?H HarmattanSeason) (located ?H WesternAfrica)) |
Weather.kif 2024-2026 | If X is an instance of Harmattan season, then X is located at western africa |
| (=> (instance ?H HarmattanSeason) (modalAttribute (exists (?W) (and (instance ?W HarmattanWind) (during (WhenFn ?W) ?H))) Likely)) |
Weather.kif 2028-2035 | 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 |
| (=> (instance ?H HarmattanSeason) (exists (?Y) (and (instance ?HS (MonthFn November (YearFn ?Y))) (instance ?HE (MonthFn March (YearFn (AdditionFn ?Y 1)))) (during ?H (IntervalFn (EndFn ?HS) (BeginFn ?HE)))))) |
Weather.kif 2037-2050 | If X is an instance of Harmattan season, then there exists Y such that Z is an instance of the month November, W is an instance of the month March, and X takes place during the interval from the end of Z to the beginning of W |
|