TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Lake StaticWaterArea)	Geography.kif 7327-7327	Lake is a subclass of static water area
(documentation Lake EnglishLanguage "Lake is the subclass of BodyOfWater whose instances are naturally occurring static bodies of water surrounded by land.")	Geography.kif 7329-7331	Lake is a subclass of static water area

appearance as argument number 2

(termFormat EnglishLanguage Lake "lake")	domainEnglishFormat.kif 33123-33123
(termFormat ChineseTraditionalLanguage Lake "湖")	domainEnglishFormat.kif 33124-33124
(termFormat ChineseLanguage Lake "湖")	domainEnglishFormat.kif 33125-33125

antecedent

(=>
    (and
        (instance ?LAKE Lake)
        (instance ?OCEAN Ocean))
    (smaller ?LAKE ?OCEAN))

If X is an instance of lake and Y is an instance of ocean, then X is smaller than Y

consequent

(=>
    (instance ?REGION LakeRegion)
    (exists (?LAKE)
        (and
            (instance ?LAKE Lake)
            (located ?LAKE ?REGION))))

If X is an instance of lake region, then there exists Y such that Y is an instance of lake and Y is located at X