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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ColomboSriLanka
ColomboSriLanka(colombo sri lanka)
Colombo, capital_of_Sri_Lanka

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


(documentation ColomboSriLanka EnglishLanguage "The City of Colombo in SriLanka.") CountriesAndRegions.kif 1633-1633
(externalImage ColomboSriLanka "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f2/ Colombo_Map.jpg/ 250px-Colombo_Map.jpg") pictureList.kif 1423-1423
(geographicSubregion ColomboSriLanka SriLanka) CountriesAndRegions.kif 2742-2742 Colombo sri lanka is a geographic subregion of sri lanka
(instance ColomboSriLanka City) CountriesAndRegions.kif 1632-1632 Colombo sri lanka is an instance of city

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


(names "Colombo" ColomboSriLanka) CountriesAndRegions.kif 2743-2743 Colombo sri lanka has name "Colombo"
(termFormat ChineseLanguage ColomboSriLanka "科伦坡斯里兰卡") domainEnglishFormat.kif 15694-15694 Colombo sri lanka has name "Colombo"
(termFormat ChineseTraditionalLanguage ColomboSriLanka "科倫坡斯里蘭卡") domainEnglishFormat.kif 15693-15693 Colombo sri lanka has name "Colombo"
(termFormat EnglishLanguage ColomboSriLanka "colombo sri lanka") domainEnglishFormat.kif 15692-15692 Colombo sri lanka has name "Colombo"


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