No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 945-946 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5275-5275 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5272-5272 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5270-5270 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5274-5274 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5125-5125 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5269-5269 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5273-5273 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5271-5271 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 939-939 |
例 Idaho and 美國國家 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 940-940 |
空間的符合 Idaho and 加拿大 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 943-943 |
空間的符合 Idaho and Nevada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 942-942 |
空間的符合 Idaho and Oregon |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 944-944 |
空間的符合 Idaho and 猶他州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 941-941 |
空間的符合 Idaho and 華盛頓 |