No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 754-754 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5372-5372 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5371-5371 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5370-5370 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5148-5148 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5373-5373 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 752-752 |
Nashville tennessee is an instance of american city |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 753-753 |
Nashville tennessee is a part of tennessee |