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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CaliColombia
CaliColombia(cali colombia)
Cali

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


(documentation CaliColombia EnglishLanguage "The City of Cali in Colombia.") CountriesAndRegions.kif 1589-1589
(externalImage CaliColombia "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ ce/ MunsValledelCauca_Cali.png/ 250px-MunsValledelCauca_Cali.png") pictureList.kif 1335-1335
(geographicSubregion CaliColombia Colombia) CountriesAndRegions.kif 2697-2697 Cali colombia is a geographic subregion of colombia
(instance CaliColombia City) CountriesAndRegions.kif 1588-1588 Cali colombia is an instance of city

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


(names "Cali" CaliColombia) CountriesAndRegions.kif 2698-2698 Cali colombia has name "Cali"
(termFormat ChineseLanguage CaliColombia "卡利哥伦比亚") domainEnglishFormat.kif 12727-12727
(termFormat ChineseTraditionalLanguage CaliColombia "卡利哥倫比亞") domainEnglishFormat.kif 12726-12726
(termFormat EnglishLanguage CaliColombia "cali colombia") domainEnglishFormat.kif 12725-12725


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