| RedSea
| |
| appearance as argument number 1 |
|
|
| (connected RedSea GulfOfAden) | Geography.kif 4846-4846 | connected RedSea and GulfOfAden |
| (externalImage RedSea "http://upload.wikimedia.org/wikipedia/commons/0/02/ Red_Sea.png") | pictureList.kif 4805-4805 | |
| (instance RedSea Sea) | Geography.kif 4490-4490 | instance RedSea and Sea |
| appearance as argument number 2 |
|
|
| (meetsSpatially Egypt RedSea) | Geography.kif 4491-4491 | meetsSpatially Egypt and RedSea |
| (meetsSpatially Eritrea RedSea) | Geography.kif 4493-4493 | meetsSpatially Eritrea and RedSea |
| (meetsSpatially SaudiArabia RedSea) | Geography.kif 4494-4494 | meetsSpatially SaudiArabia and RedSea |
| (meetsSpatially Sudan RedSea) | Geography.kif 4492-4492 | meetsSpatially Sudan and RedSea |
| (termFormat ChineseLanguage RedSea "红海") | domainEnglishFormat.kif 48989-48989 | |
| (termFormat ChineseTraditionalLanguage RedSea "紅海") | domainEnglishFormat.kif 48988-48988 | |
| (termFormat EnglishLanguage RedSea "red sea") | domainEnglishFormat.kif 48987-48987 |
|
|
|