AfulaIsrael
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1401-1401 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3389-3389 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3292-3292 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2502-2502 | 阿富拉以色列 是 以色列 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1400-1400 | 例 阿富拉以色列 and City |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2503-2503 | 名 "Afula" and 阿富拉以色列 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5784-5784 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5783-5783 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5782-5782 |