Cove - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Cove EnglishLanguage "A Cove is a small part of a body of water that reaches into a coast.")	Geography.kif 4960-4961
(subclass Cove Inlet)	Geography.kif 4958-4958

appearance as argument number 2

(termFormat ChineseLanguage Cove "拱")	domainEnglishFormat.kif 17656-17656
(termFormat ChineseTraditionalLanguage Cove "拱")	domainEnglishFormat.kif 17655-17655
(termFormat EnglishLanguage Cove "cove")	domainEnglishFormat.kif 17654-17654

antecedent

(=>
    (and
        (instance ?COVE Cove)
        (instance ?BAY Bay))
    (larger ?BAY ?COVE))

Geography.kif 4963-4967