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 and 美國國家 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1026-1026 |
空間的符合 Nebraska and 科羅拉多州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1027-1027 |
空間的符合 Nebraska and Kansas |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1025-1025 |
空間的符合 Nebraska and 懷俄明 |