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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CarrejonColombia
CarrejonColombia(carrejon colombia)

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 Carrejon colombia is a geographic subregion of colombia
(instance CarrejonColombia City) CountriesAndRegions.kif 1600-1600 Carrejon colombia is an instance of city

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


(names "Carrejon" CarrejonColombia) CountriesAndRegions.kif 2710-2710 Carrejon colombia has name "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 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