Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LakeRegion
LakeRegion(lake region)
more pictures...

appearance as argument number 1
-------------------------


(documentation LakeRegion EnglishLanguage "A LakeRegion is a GeographicArea including land surrounding one or more Lakes.") Geography.kif 5401-5402
(externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ 0/ 06/ Niagara_Falls_from_space_2.jpg") pictureList.kif 11323-11323
(externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Lake_Victoria_vegetation_map-fr.jpg") pictureList.kif 11322-11322
(externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Three_Betula_papyrifera_by_McDonald_Lake.jpg") pictureList.kif 11317-11317
(externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ Lake_Tekapo_Township_South_Island.jpg") pictureList.kif 11318-11318
(externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ a/ a4/ Yellowstone_Lake_from_space.jpg") pictureList.kif 11319-11319
(externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ b/ bd/ Lila_Lake_26527.JPG") pictureList.kif 11324-11324
(externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ c/ c1/ New_York%27s_Finger_Lakes.jpg") pictureList.kif 11321-11321
(externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Willandra_Lakes.png") pictureList.kif 11320-11320
(externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Glacier_lake_mcdonald.jpg") pictureList.kif 10087-10087
(subclass LakeRegion GeographicArea) Geography.kif 5399-5399 Lake region is a subclass of geographic area

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage LakeRegion "湖区") domainEnglishFormat.kif 33179-33179
(termFormat ChineseTraditionalLanguage LakeRegion "湖區") domainEnglishFormat.kif 33178-33178
(termFormat EnglishLanguage LakeRegion "lake region") domainEnglishFormat.kif 33177-33177

antecedent
-------------------------


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


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