No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1515-1515 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3413-3413 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3415-3415 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3414-3414 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2614-2614 |
Bat yam 以色列 是 以色列 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1514-1514 |
Bat yam 以色列 是 城市 的 instance |