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 51181-51181 San luis colombia has name "San Luis"
(termFormat ChineseTraditionalLanguage SanLuisColombia "聖路易斯哥倫比亞") domainEnglishFormat.kif 51180-51180 San luis colombia has name "San Luis"
(termFormat EnglishLanguage SanLuisColombia "san luis colombia") domainEnglishFormat.kif 51179-51179 San luis colombia has name "San Luis"


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