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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BucaramangaColombia
BucaramangaColombia(bucaramanga colombia)

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


(documentation BucaramangaColombia EnglishLanguage "The City of Bucaramanga in Colombia.") CountriesAndRegions.kif 1573-1573
(externalImage BucaramangaColombia "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 7/ 7f/ MunsSantander-bucaramanga.png/ 250px-MunsSantander-bucaramanga.png") pictureList.kif 1334-1334
(geographicSubregion BucaramangaColombia Colombia) CountriesAndRegions.kif 2678-2678 Bucaramanga colombia is a geographic subregion of colombia
(instance BucaramangaColombia City) CountriesAndRegions.kif 1572-1572 Bucaramanga colombia is an instance of city

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


(names "Bucaramanga" BucaramangaColombia) CountriesAndRegions.kif 2679-2679 Bucaramanga colombia has name "Bucaramanga"
(termFormat ChineseLanguage BucaramangaColombia "布卡拉曼加哥伦比亚") domainEnglishFormat.kif 12203-12203
(termFormat ChineseTraditionalLanguage BucaramangaColombia "布卡拉曼加哥倫比亞") domainEnglishFormat.kif 12202-12202
(termFormat EnglishLanguage BucaramangaColombia "bucaramanga colombia") domainEnglishFormat.kif 12201-12201


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