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 and 美國國家 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 958-958 |
空間的符合 Iowa and 密蘇里州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 957-957 |
空間的符合 Iowa and Nebraska |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 956-956 |
空間的符合 Iowa and SouthDakota |