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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MutturSriLanka
MutturSriLanka

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 geographicSubregion MutturSriLanka and SriLanka
(instance MutturSriLanka City) CountriesAndRegions.kif 2086-2086 MutturSriLanka est une instance de ville

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


(names "Muttur" MutturSriLanka) CountriesAndRegions.kif 3273-3273 MutturSriLanka s'appele nom "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