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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - KalmunaiSriLanka
KalmunaiSriLanka(kalmunai sri lanka)

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


(documentation KalmunaiSriLanka EnglishLanguage "The City of Kalmunai in SriLanka.") CountriesAndRegions.kif 1863-1863
(geographicSubregion KalmunaiSriLanka SriLanka) CountriesAndRegions.kif 3017-3017 Kalmunai sri lanka is a geographic subregion of sri lanka
(instance KalmunaiSriLanka City) CountriesAndRegions.kif 1862-1862 Kalmunai sri lanka is an instance of city

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


(names "Kalmunai" KalmunaiSriLanka) CountriesAndRegions.kif 3018-3018 Kalmunai sri lanka has name "Kalmunai"
(termFormat ChineseLanguage KalmunaiSriLanka "卡尔穆奈斯里兰卡") domainEnglishFormat.kif 32075-32075 Kalmunai sri lanka has name "Kalmunai"
(termFormat ChineseTraditionalLanguage KalmunaiSriLanka "卡爾穆奈斯里蘭卡") domainEnglishFormat.kif 32074-32074 Kalmunai sri lanka has name "Kalmunai"
(termFormat EnglishLanguage KalmunaiSriLanka "kalmunai sri lanka") domainEnglishFormat.kif 32073-32073 Kalmunai sri lanka has name "Kalmunai"


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