No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1028-1028 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5374-5374 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5149-5149 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5375-5375 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1024-1024 |
Nebraska e' uma instancia de AmericanState |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1026-1026 |
Nebraska encontra Colorado |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1027-1027 |
Nebraska encontra Kansas |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1025-1025 |
Nebraska encontra Wyoming |