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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EleiSinaiGazaStrip
EleiSinaiGazaStrip(elei sinai gaza strip)

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


(documentation EleiSinaiGazaStrip EnglishLanguage "The City of EleiSinai in GazaStrip.") CountriesAndRegions.kif 1713-1713
(geographicSubregion EleiSinaiGazaStrip GazaStrip) CountriesAndRegions.kif 2833-2833 Elei sinai gaza strip is a geographic subregion of gaza strip
(instance EleiSinaiGazaStrip City) CountriesAndRegions.kif 1712-1712 Elei sinai gaza strip is an instance of city

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


(names "Elei Sinai" EleiSinaiGazaStrip) CountriesAndRegions.kif 2834-2834 Elei sinai gaza strip has name "Elei Sinai"
(termFormat ChineseLanguage EleiSinaiGazaStrip "elei sinai 加沙地带") domainEnglishFormat.kif 21786-21786
(termFormat ChineseTraditionalLanguage EleiSinaiGazaStrip "elei sinai 加沙地帶") domainEnglishFormat.kif 21785-21785
(termFormat EnglishLanguage EleiSinaiGazaStrip "elei sinai gaza strip") domainEnglishFormat.kif 21784-21784


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