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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - KanihamaIndia
KanihamaIndia(kanihama india)

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


(documentation KanihamaIndia EnglishLanguage "The City of Kanihama in India.") CountriesAndRegions.kif 1869-1869
(geographicSubregion KanihamaIndia India) CountriesAndRegions.kif 3023-3023 Kanihama india is a geographic subregion of india
(instance KanihamaIndia City) CountriesAndRegions.kif 1868-1868 Kanihama india is an instance of city

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


(names "Kanihama" KanihamaIndia) CountriesAndRegions.kif 3024-3024 Kanihama india has name "Kanihama"
(termFormat ChineseLanguage KanihamaIndia "kanihama印度") domainEnglishFormat.kif 32117-32117 Kanihama india has name "Kanihama"
(termFormat ChineseTraditionalLanguage KanihamaIndia "kanihama印度") domainEnglishFormat.kif 32116-32116 Kanihama india has name "Kanihama"
(termFormat EnglishLanguage KanihamaIndia "kanihama india") domainEnglishFormat.kif 32115-32115 Kanihama india has name "Kanihama"


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