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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MutturSriLanka
MutturSriLanka(muttur sri 斯里兰卡)

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


(documentation MutturSriLanka EnglishLanguage "The City of Muttur in SriLanka.") CountriesAndRegions.kif 2087-2087
(geographicSubregion MutturSriLanka SriLanka) CountriesAndRegions.kif 3272-3272 Muttur sri 斯里兰卡斯里兰卡geographic 次要地区
(instance MutturSriLanka City) CountriesAndRegions.kif 2086-2086 Muttur sri 斯里兰卡城市instance

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


(names "Muttur" MutturSriLanka) CountriesAndRegions.kif 3273-3273 Muttur sri 斯里兰卡 的名 是 "Muttur"
(termFormat ChineseLanguage MutturSriLanka "muttur sri 斯里兰卡") domainEnglishFormat.kif 39477-39477
(termFormat ChineseTraditionalLanguage MutturSriLanka "muttur sri 斯里蘭卡") domainEnglishFormat.kif 39476-39476
(termFormat EnglishLanguage MutturSriLanka "muttur sri lanka") domainEnglishFormat.kif 39475-39475


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