|
|
  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 | geographicSubregion EmmanuelWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1714-1714 | EmmanuelWestBank e' uma instancia de Cidade |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2836-2836 | EmmanuelWestBank se chama nome "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 |
|
|
|
