EmmanuelWestBank(emmanuel west bank)![]() ![]() |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1715-1715 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3320-3320 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3481-3481 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2835-2835 | Emmanuel west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1714-1714 | Emmanuel west bank is an instance of city |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2836-2836 | Emmanuel west bank has name "Emmanuel" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21948-21948 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21947-21947 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21946-21946 |
![]() |
![]() |