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 5999-6001
(subclass Lake StaticWaterArea)	Geography.kif 5997-5997	Lake is a subclass of static water area

appearance as argument number 2

(termFormat ChineseLanguage Lake "湖")	domainEnglishFormat.kif 33132-33132
(termFormat ChineseTraditionalLanguage Lake "湖")	domainEnglishFormat.kif 33131-33131
(termFormat EnglishLanguage Lake "lake")	domainEnglishFormat.kif 33130-33130

antecedent

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

Geography.kif 6003-6007

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 5674-5679

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