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 5729-5731
(subclass Lake StaticWaterArea)	Geography.kif 5727-5727	Lake is a subclass of static water area

appearance as argument number 2

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

antecedent

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

Geography.kif 5733-5737

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 5404-5409

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