| RedSea(red sea)
| | Red_Sea |
| appearance as argument number 1 |
|
|
| (connected RedSea GulfOfAden) | Geography.kif 5168-5168 | Red sea is connected to gulf of aden |
| (externalImage RedSea "http://upload.wikimedia.org/wikipedia/commons/0/02/ Red_Sea.png") | pictureList.kif 4804-4804 | |
| (instance RedSea Sea) | Geography.kif 4801-4801 | Red sea is an instance of sea |
| appearance as argument number 2 |
|
|
| (meetsSpatially Egypt RedSea) | Geography.kif 4802-4802 | Egypt meets red sea |
| (meetsSpatially Eritrea RedSea) | Geography.kif 4804-4804 | Eritrea meets red sea |
| (meetsSpatially SaudiArabia RedSea) | Geography.kif 4805-4805 | Saudi arabia meets red sea |
| (meetsSpatially Sudan RedSea) | Geography.kif 4803-4803 | Sudan meets red sea |
| (termFormat ChineseLanguage RedSea "红海") | domainEnglishFormat.kif 49072-49072 | |
| (termFormat ChineseTraditionalLanguage RedSea "紅海") | domainEnglishFormat.kif 49071-49071 | |
| (termFormat EnglishLanguage RedSea "red sea") | domainEnglishFormat.kif 49070-49070 |
|
|
|