Strait
|
|
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 |
appearance as argument number 2 |
(instance StraitOfHormuz Strait) | Geography.kif 5312-5312 | |
(termFormat ChineseLanguage Strait "海峡") | domainEnglishFormat.kif 55538-55538 | |
(termFormat ChineseTraditionalLanguage Strait "海峽") | domainEnglishFormat.kif 55537-55537 | |
(termFormat EnglishLanguage Strait "strait") | domainEnglishFormat.kif 55536-55536 |
antecedent |
(=> (instance ?strait Strait) (exists (?body1 ?body2) (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2)))) |
Geography.kif 5297-5303 |