EmmanuelWestBank
|
|
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 | 伊曼紐爾西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1714-1714 | 例 伊曼紐爾西岸 and City |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2836-2836 | 名 "Emmanuel" and 伊曼紐爾西岸 |
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 |