|
|
  RedSea
|
|
|
| appearance as argument number 1 |
|
|
| (connected RedSea GulfOfAden) | Geography.kif 4952-4952 | |
| (externalImage RedSea "http://upload.wikimedia.org/wikipedia/commons/0/02/ Red_Sea.png") | pictureList.kif 4805-4805 | |
| (instance RedSea Sea) | Geography.kif 4590-4590 |
| appearance as argument number 2 |
|
|
| (meetsSpatially Egypt RedSea) | Geography.kif 4591-4591 | |
| (meetsSpatially Eritrea RedSea) | Geography.kif 4593-4593 | |
| (meetsSpatially SaudiArabia RedSea) | Geography.kif 4594-4594 | |
| (meetsSpatially Sudan RedSea) | Geography.kif 4592-4592 | |
| (termFormat ChineseLanguage RedSea "红海") | domainEnglishFormat.kif 49053-49053 | |
| (termFormat ChineseTraditionalLanguage RedSea "紅海") | domainEnglishFormat.kif 49052-49052 | |
| (termFormat EnglishLanguage RedSea "red sea") | domainEnglishFormat.kif 49051-49051 |
|
|
|
