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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GazaStrip
GazaStrip(gaza strip)
Gaza, Gaza_Strip

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3715-3715 Israel is a claimed territory of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3716-3716 Palestinian liberation organization is a claimed territory of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1390-1390
No TPTP formula. May not be expressible in strict first order. pictureList.kif 458-458
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3494-3494
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 244-244 Gaza strip is a geographic subregion of middle east region
No TPTP formula. May not be expressible in strict first order. Media.kif 2573-2573 Gaza strip is a geographic subregion of Palestinian territories
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1389-1389 Gaza strip is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4234-4234 Gaza strip is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 237-237 Gaza strip is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 245-245 Gaza strip is an instance of nation
No TPTP formula. May not be expressible in strict first order. Media.kif 2580-2580 Gaza strip meets israel

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2514-2514 Alei sinai gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2574-2574 Atzmona gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2642-2642 Bet le hiyeh gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2802-2802 Dugit gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2833-2833 Elei sinai gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2837-2837 Erez gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2893-2893 Gush katif gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3045-3045 Kfar darom gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3053-3053 Kfar yam gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3083-3083 Kissufim gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3250-3250 Morag junction gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3278-3278 Nahal oz gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3297-3297 Netzarim gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3299-3299 Netzer hazani gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3309-3309 Neztarim settlement gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3313-3313 Nissanit gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3389-3389 Pe at sadeh gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3413-3413 Rafah gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3436-3436 Rimal district gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3468-3468 SajaIA gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3517-3517 Sheikh ajlun gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3584-3584 Tel qateifa gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4003-4003 Gaza strip has name "Gaza Strip"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25598-25598
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25597-25597

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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