![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
StraitOfHormuz(strait of hormuz)
|
| appearance as argument number 1 |
|
|
| (connected StraitOfHormuz GulfOfOman) | Geography.kif 6716-6716 | Strait of hormuz is connected to gulf of oman |
| (instance StraitOfHormuz Strait) | Geography.kif 6905-6905 | Strait of hormuz is an instance of strait |
| (instance StraitOfHormuz SaltWaterArea) | Geography.kif 6906-6906 | Strait of hormuz is an instance of salt water area |
| (externalImage StraitOfHormuz "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Strait_of_Hormuz.jpg") | pictureList.kif 2987-2987 | Strait of hormuz is an instance of salt water area |
| (externalImage StraitOfHormuz "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0d/ Persian_Gulf_map.png") | pictureList.kif 3191-3191 | Strait of hormuz is an instance of salt water area |
| appearance as argument number 2 |
|
|
| (connected PersianGulf StraitOfHormuz) | Geography.kif 6710-6710 | Persian gulf is connected to strait of hormuz |
| (names "Strait of Hormuz" StraitOfHormuz) | Geography.kif 6907-6907 | Strait of hormuz has name "Strait of Hormuz" |
| (termFormat EnglishLanguage StraitOfHormuz "strait of hormuz") | domainEnglishFormat.kif 55537-55537 | Strait of hormuz has name "Strait of Hormuz" |
| (termFormat ChineseTraditionalLanguage StraitOfHormuz "霍爾木茲海峽") | domainEnglishFormat.kif 55538-55538 | Strait of hormuz has name "Strait of Hormuz" |
| (termFormat ChineseLanguage StraitOfHormuz "霍尔木兹海峡") | domainEnglishFormat.kif 55539-55539 | Strait of hormuz has name "Strait of Hormuz" |