GushKhatifGazaStrip(gush khatif 加沙地带) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1765-1765 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1764-1764 | 例 gush khatif 加沙地带 and City |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27126-27126 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27125-27125 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27124-27124 |