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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SanLuisColombia
SanLuisColombia

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
(instance SanLuisColombia City) CountriesAndRegions.kif 2281-2281

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


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


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