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 is an instance of american state |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 958-958 |
Iowa meets missouri |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 957-957 |
Iowa meets Nebraska |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 956-956 |
Iowa meets South Dakota |