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 5405-5407
(subclass Lake StaticWaterArea)	Geography.kif 5403-5403	Lake is a subclass of static water area

appearance as argument number 2

(termFormat ChineseLanguage Lake "湖")	domainEnglishFormat.kif 33040-33040
(termFormat ChineseTraditionalLanguage Lake "湖")	domainEnglishFormat.kif 33039-33039
(termFormat EnglishLanguage Lake "lake")	domainEnglishFormat.kif 33038-33038

antecedent

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

Geography.kif 5409-5413

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 5082-5087

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