No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1103-1103 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5513-5513 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5514-5514 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5516-5516 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5178-5178 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5512-5512 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5515-5515 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5517-5517 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1099-1099 |
例 SouthDakota and 美國國家 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1100-1100 |
空間的符合 SouthDakota and Montana |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1102-1102 |
空間的符合 SouthDakota and Nebraska |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1101-1101 |
空間的符合 SouthDakota and 懷俄明 |