BakaAlGarbiyehIsrael(baka al garbiyeh israel)![]() ![]() |
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 israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1490-1490 | Baka al garbiyeh israel is an instance of city |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2591-2591 | Baka al garbiyeh israel has name "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 |
![]() |
![]() |