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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SoporeIndia
SoporeIndia(sopore india)

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


(documentation SoporeIndia EnglishLanguage "The City of Sopore in India.") CountriesAndRegions.kif 2334-2334
(geographicSubregion SoporeIndia India) CountriesAndRegions.kif 3538-3538 Sopore india is a geographic subregion of india
(instance SoporeIndia City) CountriesAndRegions.kif 2333-2333 Sopore india is an instance of city

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


(names "Sopore" SoporeIndia) CountriesAndRegions.kif 3539-3539 Sopore india has name "Sopore"
(termFormat ChineseLanguage SoporeIndia "sopore 印度") domainEnglishFormat.kif 53997-53997 Sopore india has name "Sopore"
(termFormat ChineseTraditionalLanguage SoporeIndia "sopore 印度") domainEnglishFormat.kif 53996-53996 Sopore india has name "Sopore"
(termFormat EnglishLanguage SoporeIndia "sopore india") domainEnglishFormat.kif 53995-53995 Sopore india has name "Sopore"


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