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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BagreColombia
BagreColombia(bagre colombia)

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


(documentation BagreColombia EnglishLanguage "The City of Bagre in Colombia.") CountriesAndRegions.kif 1487-1487
(externalImage BagreColombia "http://upload.wikimedia.org/wikipedia/commons/ 7/ 76/ MunsAntioquia_El_Bagre.png") pictureList.kif 5103-5103
(geographicSubregion BagreColombia ColombiaPanama) CountriesAndRegions.kif 2586-2586 Bagre colombia is a geographic subregion of colombia panama
(instance BagreColombia City) CountriesAndRegions.kif 1486-1486 Bagre colombia is an instance of city

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


(names "Bagre" BagreColombia) CountriesAndRegions.kif 2587-2587 Bagre colombia has name "Bagre"
(termFormat ChineseLanguage BagreColombia "巴格里哥伦比亚") domainEnglishFormat.kif 9560-9560 Bagre colombia has name "Bagre"
(termFormat ChineseTraditionalLanguage BagreColombia "巴格里哥倫比亞") domainEnglishFormat.kif 9559-9559 Bagre colombia has name "Bagre"
(termFormat EnglishLanguage BagreColombia "bagre colombia") domainEnglishFormat.kif 9558-9558 Bagre colombia has name "Bagre"


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