| appearance as argument number 1 |
|
|
| (documentation Strait EnglishLanguage "Strait is the subclass of BodyOfWater that consists of narrow water areas connecting two larger bodies of water. Straits are naturally occurring bodies of water.") | Geography.kif 5362-5364 | |
| (externalImage Strait "http://upload.wikimedia.org/wikipedia/commons/b/be/ Strait.svg") | pictureList.kif 883-883 | |
| (subclass Strait BodyOfWater) | Geography.kif 5361-5361 | Strait is a subclass of body of water |
| appearance as argument number 2 |
|
|
| (instance StraitOfHormuz Strait) | Geography.kif 5381-5381 | Strait of hormuz is an instance of strait |
| (termFormat ChineseLanguage Strait "海峡") | domainEnglishFormat.kif 55569-55569 | Strait of hormuz is an instance of strait |
| (termFormat ChineseTraditionalLanguage Strait "海峽") | domainEnglishFormat.kif 55568-55568 | Strait of hormuz is an instance of strait |
| (termFormat EnglishLanguage Strait "strait") | domainEnglishFormat.kif 55567-55567 | Strait of hormuz is an instance of strait |
| antecedent |
|
|
| (=> (instance ?strait Strait) (exists (?body1 ?body2) (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2)))) |
Geography.kif 5366-5372 |
|
|
|
|