Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  GulfOfGuinea
|
|
|
| appearance as argument number 1 |
|
|
| (instance GulfOfGuinea Gulf) | Geography.kif 6735-6735 | Gulf Of Guinea is an instance of gulf |
| (documentation GulfOfGuinea EnglishLanguage "The GulfOfGuinea is the northeasternmost part of the tropical Atlantic Ocean from Cape Lopez in Gabon, north and west to Cape Palmas in Liberia.[Wikipedia]") | Geography.kif 6736-6738 | Gulf Of Guinea is an instance of gulf |
| (instance GulfOfGuinea SaltWaterArea) | Geography.kif 6739-6739 | Gulf Of Guinea is an instance of salt water area |
| (connected GulfOfGuinea AtlanticOcean) | Geography.kif 6741-6741 | Gulf Of Guinea is connected to atlantic ocean |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GulfOfGuinea "Gulf Of Guinea") | Geography.kif 6740-6740 | |
| (located NullIsland GulfOfGuinea) | Geography.kif 6767-6767 | Null island is located at Gulf Of Guinea |
| 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 |
|