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 is an instance of american state |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 940-940 |
Idaho meets canada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 943-943 |
Idaho meets Nevada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 942-942 |
Idaho meets Oregon |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 944-944 |
Idaho meets utah |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 941-941 |
Idaho meets washington |