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

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


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


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