No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2228-2228 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3593-3593 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3589-3589 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3592-3592 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3371-3371 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3590-3590 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3591-3591 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3419-3419 |
拉马拉西岸 是 西方银行 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2227-2227 |
拉马拉西岸 是 城市 的 instance |