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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SantaMartaColombia

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 51191-51191
(termFormat ChineseTraditionalLanguage SantaMartaColombia "聖瑪爾塔哥倫比亞") domainEnglishFormat.kif 51190-51190
(termFormat EnglishLanguage SantaMartaColombia "santa marta colombia") domainEnglishFormat.kif 51189-51189


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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