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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GonegalleSriLanka
GonegalleSriLanka(gonegalle sri lanka)

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


(documentation GonegalleSriLanka EnglishLanguage "The City of Gonegalle in SriLanka.") CountriesAndRegions.kif 1751-1751
(geographicSubregion GonegalleSriLanka SriLanka) CountriesAndRegions.kif 2878-2878 Gonegalle sri lanka is a geographic subregion of sri lanka
(instance GonegalleSriLanka City) CountriesAndRegions.kif 1750-1750 Gonegalle sri lanka is an instance of city

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


(names "Gonegalle" GonegalleSriLanka) CountriesAndRegions.kif 2879-2879 Gonegalle sri lanka has name "Gonegalle"
(termFormat ChineseLanguage GonegalleSriLanka "gonegalle斯里兰卡") domainEnglishFormat.kif 26284-26284 Gonegalle sri lanka has name "Gonegalle"
(termFormat ChineseTraditionalLanguage GonegalleSriLanka "gonegalle斯里蘭卡") domainEnglishFormat.kif 26283-26283 Gonegalle sri lanka has name "Gonegalle"
(termFormat EnglishLanguage GonegalleSriLanka "gonegalle sri lanka") domainEnglishFormat.kif 26282-26282 Gonegalle sri lanka has name "Gonegalle"


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