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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ColombiaCityColombia
ColombiaCityColombia(colombia city colombia)

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


(documentation ColombiaCityColombia EnglishLanguage "The City of ColombiaCity in Colombia.") CountriesAndRegions.kif 1629-1629
(externalImage ColombiaCityColombia "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1d/ Bogota_Capital_District.png") pictureList.kif 5719-5719
(externalImage ColombiaCityColombia "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 43/ CapitolioNacionalDeColombia2004-7.jpg") pictureList.kif 5721-5721
(externalImage ColombiaCityColombia "http://upload.wikimedia.org/wikipedia/ commons/ c/ c3/ CatedralPrimadaBogota2004-7.jpg") pictureList.kif 5720-5720
(externalImage ColombiaCityColombia "http://upload.wikimedia.org/wikipedia/ commons/ f/ f8/ V._DESDE_COLPATRIA.JPG") pictureList.kif 5722-5722
(geographicSubregion ColombiaCityColombia Colombia) CountriesAndRegions.kif 2738-2738 Colombia city colombia is a geographic subregion of colombia
(instance ColombiaCityColombia City) CountriesAndRegions.kif 1628-1628 Colombia city colombia is an instance of city

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


(names "Colombia City" ColombiaCityColombia) CountriesAndRegions.kif 2739-2739 Colombia city colombia has name "Colombia City"
(termFormat ChineseLanguage ColombiaCityColombia "哥伦比亚市哥伦比亚") domainEnglishFormat.kif 15664-15664 Colombia city colombia has name "Colombia City"
(termFormat ChineseTraditionalLanguage ColombiaCityColombia "哥倫比亞市哥倫比亞") domainEnglishFormat.kif 15663-15663 Colombia city colombia has name "Colombia City"
(termFormat EnglishLanguage ColombiaCityColombia "colombia city colombia") domainEnglishFormat.kif 15662-15662 Colombia city colombia has name "Colombia City"


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