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 以色列 是 城市 的 instance |