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 | 伊曼纽尔西岸 是 城市 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2836-2836 | 伊曼纽尔西岸 的名 是 "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 |