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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SanLuisColombia
SanLuisColombia(san luis colombia)

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


(documentation SanLuisColombia EnglishLanguage "The City of SanLuis in Colombia.") CountriesAndRegions.kif 2282-2282
(externalImage SanLuisColombia "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c1/ MunsAntioquia_San_Luis.png/ 200px-MunsAntioquia_San_Luis.png") pictureList.kif 1348-1348
(geographicSubregion SanLuisColombia Colombia) CountriesAndRegions.kif 3480-3480 San luis colombia is a geographic subregion of colombia
(instance SanLuisColombia City) CountriesAndRegions.kif 2281-2281 San luis colombia is an instance of city

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


(names "San Luis" SanLuisColombia) CountriesAndRegions.kif 3481-3481 San luis colombia has name "San Luis"
(termFormat ChineseLanguage SanLuisColombia "圣路易斯哥伦比亚") domainEnglishFormat.kif 51141-51141
(termFormat ChineseTraditionalLanguage SanLuisColombia "聖路易斯哥倫比亞") domainEnglishFormat.kif 51140-51140
(termFormat EnglishLanguage SanLuisColombia "san luis colombia") domainEnglishFormat.kif 51139-51139


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