AskelonIsrael
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1459-1459 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3395-3395 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3294-3294 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2560-2560 | 阿什克倫以色列 是 以色列 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1458-1458 | 例 阿什克倫以色列 and City |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2561-2561 | 名 "Askelon" and 阿什克倫以色列 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8682-8682 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8681-8681 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8680-8680 |