GazaStrip
|
|
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 |