Strait - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Strait BodyOfWater)	Geography.kif 6885-6885	Strait is a subclass of body of water
(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 6886-6888	Strait is a subclass of body of water
(externalImage Strait "http://upload.wikimedia.org/wikipedia/commons/b/be/ Strait.svg")	pictureList.kif 883-883	Strait is a subclass of body of water

appearance as argument number 2

(instance StraitOfHormuz Strait)	Geography.kif 6905-6905	Strait of hormuz is an instance of strait
(instance StraitOfGibraltar Strait)	Geography.kif 6909-6909	Strait of Gibraltar is an instance of strait
(termFormat EnglishLanguage Strait "strait")	domainEnglishFormat.kif 55531-55531	Strait of Gibraltar is an instance of strait
(termFormat ChineseTraditionalLanguage Strait "海峽")	domainEnglishFormat.kif 55532-55532	Strait of Gibraltar is an instance of strait
(termFormat ChineseLanguage Strait "海峡")	domainEnglishFormat.kif 55533-55533	Strait of Gibraltar is an instance of strait

antecedent

(=>
    (instance ?strait Strait)
    (exists (?body1 ?body2)
        (and
            (instance ?body1 BodyOfWater)
            (instance ?body2 BodyOfWater)
            (connects ?strait ?body1 ?body2))))

If X is an instance of strait, then there exist Y, Z such that Y is an instance of body of water, Z is an instance of body of water, X connects Y, and Z