No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 764-764 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5434-5434 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5432-5432 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5435-5435 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5433-5433 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5429-5429 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5430-5430 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 762-762 |
例 費城賓夕法尼亞州 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 763-763 |
部分 費城賓夕法尼亞州 and 賓夕法尼亞 |