| RedSea
| |
| appearance as argument number 1 |
|
|
| (connected RedSea GulfOfAden) | Geography.kif 5168-5168 | |
| (externalImage RedSea "http://upload.wikimedia.org/wikipedia/commons/0/02/ Red_Sea.png") | pictureList.kif 4803-4803 | |
| (instance RedSea Sea) | Geography.kif 4801-4801 |
| appearance as argument number 2 |
|
|
| (meetsSpatially Egypt RedSea) | Geography.kif 4802-4802 | |
| (meetsSpatially Eritrea RedSea) | Geography.kif 4804-4804 | |
| (meetsSpatially SaudiArabia RedSea) | Geography.kif 4805-4805 | |
| (meetsSpatially Sudan RedSea) | Geography.kif 4803-4803 | |
| (termFormat ChineseLanguage RedSea "红海") | domainEnglishFormat.kif 49105-49105 | |
| (termFormat ChineseTraditionalLanguage RedSea "紅海") | domainEnglishFormat.kif 49104-49104 | |
| (termFormat EnglishLanguage RedSea "red sea") | domainEnglishFormat.kif 49103-49103 |
|
|
|