Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Lake

Sigma KEE - Lake
Lake

appearance as argument number 1
-------------------------


(documentation Lake EnglishLanguage "Lake is the subclass of BodyOfWater whose instances are naturally occurring static bodies of water surrounded by land.") Geography.kif 5511-5513
(subclass Lake StaticWaterArea) Geography.kif 5509-5509

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Lake "湖") domainEnglishFormat.kif 33108-33108
(termFormat ChineseTraditionalLanguage Lake "湖") domainEnglishFormat.kif 33107-33107
(termFormat EnglishLanguage Lake "lake") domainEnglishFormat.kif 33106-33106

antecedent
-------------------------


(=>
    (and
        (instance ?LAKE Lake)
        (instance ?OCEAN Ocean))
    (smaller ?LAKE ?OCEAN))
Geography.kif 5515-5519

consequent
-------------------------


(=>
    (instance ?REGION LakeRegion)
    (exists (?LAKE)
        (and
            (instance ?LAKE Lake)
            (located ?LAKE ?REGION))))
Geography.kif 5188-5193


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners