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 9552-9552
(termFormat ChineseTraditionalLanguage BagreColombia "巴格里哥倫比亞") domainEnglishFormat.kif 9551-9551
(termFormat EnglishLanguage BagreColombia "bagre colombia") domainEnglishFormat.kif 9550-9550


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