Lake - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Lake

Lake(lake)

Baikal, Balaton, Baykal, Bodensee, Canandaigua_Lake, Cayuga_Lake, Chad, Champlain, Coeur_d'Alene_Lake, Constance, Daryacheh-ye_Orumiyeh, Erie, Great_Slave_Lake, Huron, IJsselmeer, Ilmen, Keuka_Lake, Kivu, Ladoga, Lake_Albert, Lake_Albert_Nyanza, Lake_Baikal, Lake_Balaton, Lake_Baykal, Lake_Canandaigua, Lake_Cayuga, Lake_Chad, Lake_Champlain, Lake_Chelan, Lake_Constance, Lake_Edward, Lake_Erie, Lake_Geneva, Lake_Huron, Lake_Ilmen, Lake_Keuka, Lake_Kivu, Lake_Ladoga, Lake_Leman, Lake_Malawi, Lake_Michigan, Lake_Nasser, Lake_Nyasa, Lake_Okeechobee, Lake_Onega, Lake_Ontario, Lake_Saint_Clair, Lake_Seneca, Lake_St._Clair, Lake_Superior...

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 5798-5800
(subclass Lake StaticWaterArea)	Geography.kif 5796-5796	Lake is a subclass of static water area

appearance as argument number 2

(termFormat ChineseLanguage Lake "湖")	domainEnglishFormat.kif 33149-33149
(termFormat ChineseTraditionalLanguage Lake "湖")	domainEnglishFormat.kif 33148-33148
(termFormat EnglishLanguage Lake "lake")	domainEnglishFormat.kif 33147-33147

antecedent

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

Geography.kif 5802-5806

If an object is an instance of lake and another object is an instance of ocean,
then the object is smaller than the other object

consequent

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

Geography.kif 5473-5478

If an object is an instance of lake region,
then there exists a physical such that the physical is an instance of lake and the physical is located at the object

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

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