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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LimaPeru
LimaPeru

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


(documentation LimaPeru EnglishLanguage "The City of Lima in Peru.") CountriesAndRegions.kif 1961-1961
(externalImage LimaPeru "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ b4/ Location_of_Lima_in_Peru_variant_1.svg/ 180px-Location_of_Lima_in_Peru_variant_1.svg.png") pictureList.kif 1402-1402
(geographicSubregion LimaPeru Peru) CountriesAndRegions.kif 3124-3124
(instance LimaPeru City) CountriesAndRegions.kif 1960-1960

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


(names "Lima" LimaPeru) CountriesAndRegions.kif 3125-3125
(termFormat ChineseLanguage LimaPeru "利马秘鲁") domainEnglishFormat.kif 34415-34415
(termFormat ChineseTraditionalLanguage LimaPeru "利馬秘魯") domainEnglishFormat.kif 34414-34414
(termFormat EnglishLanguage LimaPeru "lima peru") domainEnglishFormat.kif 34413-34413


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