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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChocoColombia
ChocoColombia(choco colombia)

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


(documentation ChocoColombia EnglishLanguage "The City of Choco in Colombia.") CountriesAndRegions.kif 1621-1621
(externalImage ChocoColombia "http://upload.wikimedia.org/wikipedia/commons/ 6/ 66/ MunsChoco_quibdo.png") pictureList.kif 10619-10619
(externalImage ChocoColombia "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7e/ Baud%C3%B3-range-Colombia-USGS.gif") pictureList.kif 10620-10620
(externalImage ChocoColombia "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Republic_of_Colombia_-_Choco.png") pictureList.kif 9939-9939
(geographicSubregion ChocoColombia Colombia) CountriesAndRegions.kif 2727-2727 Choco colombia is a geographic subregion of colombia
(instance ChocoColombia City) CountriesAndRegions.kif 1620-1620 Choco colombia is an instance of city

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


(names "Choco" ChocoColombia) CountriesAndRegions.kif 2728-2728 Choco colombia has name "Choco"
(termFormat ChineseLanguage ChocoColombia "choco 哥伦比亚") domainEnglishFormat.kif 14656-14656 Choco colombia has name "Choco"
(termFormat ChineseTraditionalLanguage ChocoColombia "choco 哥倫比亞") domainEnglishFormat.kif 14655-14655 Choco colombia has name "Choco"
(termFormat EnglishLanguage ChocoColombia "choco colombia") domainEnglishFormat.kif 14654-14654 Choco colombia has name "Choco"


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