| 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 | externalImage RedSea and "http://upload.wikimedia.org/wikipedia/commons/0/02/ Red_Sea.png" |
| (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 49009-49009 | termFormat ChineseLanguage, RedSea and "红海" |
| (termFormat ChineseTraditionalLanguage RedSea "紅海") | domainEnglishFormat.kif 49008-49008 | termFormat ChineseTraditionalLanguage, RedSea and "紅海" |
| (termFormat EnglishLanguage RedSea "red sea") | domainEnglishFormat.kif 49007-49007 | termFormat EnglishLanguage, RedSea and "red sea" |
|
|
|