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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UrraColombia
UrraColombia(urra colombia)

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


(documentation UrraColombia EnglishLanguage "The City of Urra in Colombia.") CountriesAndRegions.kif 2414-2414
(externalImage UrraColombia "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ MunsAntioquia_Urrao.png") pictureList.kif 5187-5187
(geographicSubregion UrraColombia Colombia) CountriesAndRegions.kif 3630-3630 Urra colombia is a geographic subregion of colombia
(instance UrraColombia City) CountriesAndRegions.kif 2413-2413 Urra colombia is an instance of city

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


(names "Urra" UrraColombia) CountriesAndRegions.kif 3631-3631 Urra colombia has name "Urra"
(termFormat ChineseLanguage UrraColombia "乌拉哥伦比亚") domainEnglishFormat.kif 60740-60740
(termFormat ChineseTraditionalLanguage UrraColombia "烏拉哥倫比亞") domainEnglishFormat.kif 60739-60739
(termFormat EnglishLanguage UrraColombia "urra colombia") domainEnglishFormat.kif 60738-60738


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