No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 959-959 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5281-5281 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5280-5280 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 955-955 |
Iowa 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 958-958 |
Iowa 接上 密苏里州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 957-957 |
Iowa 接上 Nebraska |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 956-956 |
Iowa 接上 SouthDakota |