| 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 5293-5295 | |
| (externalImage Strait "http://upload.wikimedia.org/wikipedia/commons/b/be/ Strait.svg") | pictureList.kif 883-883 | |
| (subclass Strait BodyOfWater) | Geography.kif 5292-5292 | Strait is a subclass of body of water |
| appearance as argument number 2 |
|
|
| (instance StraitOfHormuz Strait) | Geography.kif 5312-5312 | Strait of hormuz is an instance of strait |
| (termFormat ChineseLanguage Strait "海峡") | domainEnglishFormat.kif 55576-55576 | Strait of hormuz is an instance of strait |
| (termFormat ChineseTraditionalLanguage Strait "海峽") | domainEnglishFormat.kif 55575-55575 | Strait of hormuz is an instance of strait |
| (termFormat EnglishLanguage Strait "strait") | domainEnglishFormat.kif 55574-55574 | 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 5297-5303 |
|
|
|
|