Cove - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Cove Inlet)	Geography.kif 6858-6858	Cove is a subclass of inlet
(documentation Cove EnglishLanguage "A Cove is a small part of a body of water that reaches into a coast.")	Geography.kif 6860-6861	Cove is a subclass of inlet

appearance as argument number 2

(termFormat EnglishLanguage Cove "cove")	domainEnglishFormat.kif 17658-17658
(termFormat ChineseTraditionalLanguage Cove "拱")	domainEnglishFormat.kif 17659-17659
(termFormat ChineseLanguage Cove "拱")	domainEnglishFormat.kif 17660-17660

antecedent

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

If X is an instance of cove and Y is an instance of bay, then Y is larger than X