BakaAlGarbiyehIsrael(baka al garbiyeh 以色列) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1491-1491 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3410-3410 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3299-3299 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2590-2590 | Baka al garbiyeh 以色列 是 以色列 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1490-1490 | 例 baka al garbiyeh 以色列 and City |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2591-2591 | 名 "Baka al-Garbiyeh" and baka al garbiyeh 以色列 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9618-9618 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9617-9617 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9616-9616 |