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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SantaMartaColombia
SantaMartaColombia

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


(documentation SantaMartaColombia EnglishLanguage "The City of SantaMarta in Colombia.") CountriesAndRegions.kif 2294-2294
(geographicSubregion SantaMartaColombia Colombia) CountriesAndRegions.kif 3492-3492
(instance SantaMartaColombia City) CountriesAndRegions.kif 2293-2293

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


(names "Santa Marta" SantaMartaColombia) CountriesAndRegions.kif 3493-3493
(termFormat ChineseLanguage SantaMartaColombia "圣玛尔塔哥伦比亚") domainEnglishFormat.kif 51189-51189
(termFormat ChineseTraditionalLanguage SantaMartaColombia "聖瑪爾塔哥倫比亞") domainEnglishFormat.kif 51188-51188
(termFormat EnglishLanguage SantaMartaColombia "santa marta colombia") domainEnglishFormat.kif 51187-51187


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