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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MutataColombia
MutataColombia

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


(documentation MutataColombia EnglishLanguage "The City of Mutata in Colombia.") CountriesAndRegions.kif 2085-2085
(externalImage MutataColombia "http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ MunsAntioquia_Mutata.png") pictureList.kif 5645-5645
(geographicSubregion MutataColombia Colombia) CountriesAndRegions.kif 3270-3270
(instance MutataColombia City) CountriesAndRegions.kif 2084-2084

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


(names "Mutata" MutataColombia) CountriesAndRegions.kif 3271-3271
(termFormat ChineseLanguage MutataColombia "mutata哥伦比亚") domainEnglishFormat.kif 39467-39467
(termFormat ChineseTraditionalLanguage MutataColombia "mutata哥倫比亞") domainEnglishFormat.kif 39466-39466
(termFormat EnglishLanguage MutataColombia "mutata colombia") domainEnglishFormat.kif 39465-39465


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