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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LakeRegion
LakeRegion
more pictures...

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


(documentation LakeRegion EnglishLanguage "A LakeRegion is a GeographicArea including land surrounding one or more Lakes.") Geography.kif 5470-5471
(externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ 0/ 06/ Niagara_Falls_from_space_2.jpg") pictureList.kif 11316-11316
(externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Lake_Victoria_vegetation_map_fr.jpg") pictureList.kif 11315-11315
(externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Three_Betula_papyrifera_by_McDonald_Lake.jpg") pictureList.kif 11310-11310
(externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ Lake_Tekapo_Township_South_Island.jpg") pictureList.kif 11311-11311
(externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ a/ a4/ Yellowstone_Lake_from_space.jpg") pictureList.kif 11312-11312
(externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ b/ bd/ Lila_Lake_26527.JPG") pictureList.kif 11317-11317
(externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ c/ c1/ New_York%27s_Finger_Lakes.jpg") pictureList.kif 11314-11314
(externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Willandra_Lakes.png") pictureList.kif 11313-11313
(externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Glacier_lake_mcdonald.jpg") pictureList.kif 10085-10085
(subclass LakeRegion GeographicArea) Geography.kif 5468-5468

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


(termFormat ChineseLanguage LakeRegion "湖区") domainEnglishFormat.kif 33173-33173
(termFormat ChineseTraditionalLanguage LakeRegion "湖區") domainEnglishFormat.kif 33172-33172
(termFormat EnglishLanguage LakeRegion "lake region") domainEnglishFormat.kif 33171-33171

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


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


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