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 60788-60788 Urra colombia has name "Urra"
(termFormat ChineseTraditionalLanguage UrraColombia "烏拉哥倫比亞") domainEnglishFormat.kif 60787-60787 Urra colombia has name "Urra"
(termFormat EnglishLanguage UrraColombia "urra colombia") domainEnglishFormat.kif 60786-60786 Urra colombia has name "Urra"


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