Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| StraitOfGibraltar(strait of Gibraltar) |
| appearance as argument number 1 |
|
| (instance StraitOfGibraltar Strait) | Geography.kif 6909-6909 | Strait of Gibraltar is an instance of strait |
| (documentation StraitOfGibraltar EnglishLanguage "StraitOfGibraltar is a narrow Strait that connects the AtlanticOcean to the MediterraneanSea and separates Europe from Africa. The two continents are separated by 7.7 nautical miles (14.2 kilometers, 8.9 miles) at its narrowest point.The strait lies in the territorial waters of Morocco, Spain, and the British overseas territory of Gibraltar.[Wikipedia]") | Geography.kif 6910-6915 | Strait of Gibraltar is an instance of strait |
| (instance StraitOfGibraltar SaltWaterArea) | Geography.kif 6917-6917 | Strait of Gibraltar is an instance of salt water area |
| (connects StraitOfGibraltar MediterraneanSea AtlanticOcean) | Geography.kif 6919-6919 | Strait of Gibraltar connects mediterranean sea and atlantic ocean |
| (connects StraitOfGibraltar Europe Africa) | Geography.kif 6920-6920 | Strait of Gibraltar connects europe and africa |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage StraitOfGibraltar "strait of Gibraltar") | Geography.kif 6916-6916 | |
| (names "Strait of Gibraltar" StraitOfGibraltar) | Geography.kif 6918-6918 | Strait of Gibraltar has name "Strait of Gibraltar" |
|