| RedSea
| | Red_Sea |
| appearance as argument number 1 |
|
|
| (connected RedSea GulfOfAden) | Geography.kif 6734-6734 | RedSea is connected to GulfOfAden |
| (externalImage RedSea "http://upload.wikimedia.org/wikipedia/commons/0/02/ Red_Sea.png") | pictureList.kif 4803-4803 | RedSea is connected to GulfOfAden |
| (instance RedSea Sea) | Geography.kif 6367-6367 | RedSea is an instance of Sea |
| (orientation RedSea SaharaDesert East) | Geography.kif 8264-8264 | RedSea is East to SaharaDesert |
| (orientation RedSea Sahel East) | Geography.kif 8283-8283 | RedSea is East to Sahel |
| appearance as argument number 2 |
|
|
| (meetsSpatially Egypt RedSea) | Geography.kif 6368-6368 | Egypt meets RedSea |
| (meetsSpatially Eritrea RedSea) | Geography.kif 6370-6370 | Eritrea meets RedSea |
| (meetsSpatially SaudiArabia RedSea) | Geography.kif 6371-6371 | SaudiArabia meets RedSea |
| (meetsSpatially Sudan RedSea) | Geography.kif 6369-6369 | Sudan meets RedSea |
| (termFormat ChineseLanguage RedSea "红海") | domainEnglishFormat.kif 49073-49073 | Sudan meets RedSea |
| (termFormat ChineseTraditionalLanguage RedSea "紅海") | domainEnglishFormat.kif 49072-49072 | Sudan meets RedSea |
| (termFormat EnglishLanguage RedSea "red sea") | domainEnglishFormat.kif 49071-49071 | Sudan meets RedSea |
| appearance as argument number 3 |
|
|
| (connects Sahel AtlanticOcean RedSea) | Geography.kif 8280-8280 | Sahel connects AtlanticOcean and RedSea |
|
|
|