|
|
  RafahGazaStrip
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2222-2222 | |
| 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 2221-2221 | RafahGazaStrip est une instance de ville |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3414-3414 | RafahGazaStrip s'appele nom "Rafah" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48598-48598 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48597-48597 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48596-48596 |
|
|
|