No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1519-1519 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3419-3419 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3421-3421 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3302-3302 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3420-3420 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2620-2620 |
Be er sheva 以色列 是 以色列 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1518-1518 |
例 be er sheva 以色列 and City |