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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BogotaColombia
BogotaColombia(bogota colombia)
Bogota, capital_of_Colombia

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


(documentation BogotaColombia EnglishLanguage "The City of Bogota in Colombia.") CountriesAndRegions.kif 1561-1561
(externalImage BogotaColombia "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 1d/ Bogota_Capital_District.png/ 250px-Bogota_Capital_District.png") pictureList.kif 1333-1333
(geographicSubregion BogotaColombia Colombia) CountriesAndRegions.kif 2663-2663 Bogota colombia is a geographic subregion of colombia
(instance BogotaColombia City) CountriesAndRegions.kif 1560-1560 Bogota colombia is an instance of city

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


(names "Bogota" BogotaColombia) CountriesAndRegions.kif 2664-2664 Bogota colombia has name "Bogota"
(termFormat ChineseLanguage BogotaColombia "波哥大哥伦比亚") domainEnglishFormat.kif 11511-11511 Bogota colombia has name "Bogota"
(termFormat ChineseTraditionalLanguage BogotaColombia "波哥大哥倫比亞") domainEnglishFormat.kif 11510-11510 Bogota colombia has name "Bogota"
(termFormat EnglishLanguage BogotaColombia "bogota colombia") domainEnglishFormat.kif 11509-11509 Bogota colombia has name "Bogota"


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