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 e' uma instancia de AmericanState |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 958-958 |
Iowa encontra Missouri |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 957-957 |
Iowa encontra Nebraska |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 956-956 |
Iowa encontra SouthDakota |