No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 738-738 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5354-5354 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5144-5144 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5353-5353 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5352-5352 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5351-5351 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5350-5350 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5349-5349 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 736-736 |
Minneapolis minnesota is an instance of american city |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 737-737 |
Minneapolis minnesota is a part of minnesota |