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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MutataColombia
MutataColombia(mutata colombia)

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 Mutata colombia is a geographic subregion of colombia
(instance MutataColombia City) CountriesAndRegions.kif 2084-2084 Mutata colombia is an instance of city

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


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


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