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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CarrejonColombia

Sigma KEE - CarrejonColombia
CarrejonColombia(cerrejon哥伦比亚)

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


(documentation CarrejonColombia EnglishLanguage "The City of Carrejon in Colombia.") CountriesAndRegions.kif 1601-1601
(externalImage CarrejonColombia "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8e/ Republic_of_Colombia_-_La_Guajira.png") pictureList.kif 5717-5717
(geographicSubregion CarrejonColombia Colombia) CountriesAndRegions.kif 2709-2709 Cerrejon哥伦比亚哥伦比亚geographic 次要地区
(instance CarrejonColombia City) CountriesAndRegions.kif 1600-1600 Cerrejon哥伦比亚城市instance

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


(names "Carrejon" CarrejonColombia) CountriesAndRegions.kif 2710-2710 Cerrejon哥伦比亚 的名 是 "Carrejon"
(termFormat ChineseLanguage CarrejonColombia "cerrejon哥伦比亚") domainEnglishFormat.kif 13338-13338
(termFormat ChineseTraditionalLanguage CarrejonColombia "cerrejon哥倫比亞") domainEnglishFormat.kif 13337-13337
(termFormat EnglishLanguage CarrejonColombia "carrejon colombia") domainEnglishFormat.kif 13336-13336


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