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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mortgage

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

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


(termFormat ChineseLanguage LakeRegion "湖区") domainEnglishFormat.kif 33145-33145
(termFormat ChineseTraditionalLanguage LakeRegion "湖區") domainEnglishFormat.kif 33144-33144
(termFormat EnglishLanguage LakeRegion "lake region") domainEnglishFormat.kif 33143-33143

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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