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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SanDiegoColombia
SanDiegoColombia(san diego colombia)

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


(documentation SanDiegoColombia EnglishLanguage "The City of SanDiego in Colombia.") CountriesAndRegions.kif 2278-2278
(externalImage SanDiegoColombia "http://upload.wikimedia.org/wikipedia/commons/ 0/ 06/ Bolivarmunmapcartagena.png") pictureList.kif 5654-5654
(geographicSubregion SanDiegoColombia Colombia) CountriesAndRegions.kif 3476-3476 San diego colombia is a geographic subregion of colombia
(instance SanDiegoColombia City) CountriesAndRegions.kif 2277-2277 San diego colombia is an instance of city

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


(names "San Diego" SanDiegoColombia) CountriesAndRegions.kif 3477-3477 San diego colombia has name "San Diego"
(termFormat ChineseLanguage SanDiegoColombia "圣地亚哥哥伦比亚") domainEnglishFormat.kif 51115-51115 San diego colombia has name "San Diego"
(termFormat ChineseTraditionalLanguage SanDiegoColombia "聖地亞哥哥倫比亞") domainEnglishFormat.kif 51114-51114 San diego colombia has name "San Diego"
(termFormat EnglishLanguage SanDiegoColombia "san diego colombia") domainEnglishFormat.kif 51113-51113 San diego colombia has name "San Diego"


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