|
|
  GazaStrip
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3715-3715 | claimedTerritory GazaStrip and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3716-3716 | claimedTerritory GazaStrip and PalestinianLiberationOrganization |
| 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 | geographicSubregion GazaStrip and MiddleEastRegion |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2573-2573 | geographicSubregion GazaStrip and PalestinianTerritories |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1389-1389 | GazaStrip e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4234-4234 | GazaStrip e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 237-237 | GazaStrip e' uma instancia de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 245-245 | GazaStrip e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2580-2580 | GazaStrip encontra Israel |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2514-2514 | geographicSubregion AleiSinaiGazaStrip and GazaStrip |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2574-2574 | geographicSubregion AtzmonaGazaStrip and GazaStrip |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2642-2642 | geographicSubregion BetLeHiyehGazaStrip and GazaStrip |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2802-2802 | geographicSubregion DugitGazaStrip and GazaStrip |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2833-2833 | geographicSubregion EleiSinaiGazaStrip and GazaStrip |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2837-2837 | geographicSubregion ErezGazaStrip and GazaStrip |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2893-2893 | geographicSubregion GushKatifGazaStrip and GazaStrip |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3045-3045 | geographicSubregion KfarDaromGazaStrip and GazaStrip |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3053-3053 | geographicSubregion KfarYamGazaStrip and GazaStrip |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3083-3083 | geographicSubregion KissufimGazaStrip and GazaStrip |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3250-3250 | geographicSubregion MoragJunctionGazaStrip and GazaStrip |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3278-3278 | geographicSubregion NahalOzGazaStrip and GazaStrip |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3297-3297 | geographicSubregion NetzarimGazaStrip and GazaStrip |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3299-3299 | geographicSubregion NetzerHazaniGazaStrip and GazaStrip |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3309-3309 | geographicSubregion NeztarimSettlementGazaStrip and GazaStrip |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3313-3313 | geographicSubregion NissanitGazaStrip and GazaStrip |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3389-3389 | geographicSubregion PeAtSadehGazaStrip and GazaStrip |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3413-3413 | geographicSubregion RafahGazaStrip and GazaStrip |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3436-3436 | geographicSubregion RimalDistrictGazaStrip and GazaStrip |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3468-3468 | geographicSubregion SajaIAGazaStrip and GazaStrip |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3517-3517 | geographicSubregion SheikhAjlunGazaStrip and GazaStrip |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3584-3584 | geographicSubregion TelQateifaGazaStrip and GazaStrip |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4003-4003 | GazaStrip se chama nome "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 |
|
|
|
