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 |
NashvilleTennessee est une instance de AmericanCity |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 753-753 |
NashvilleTennessee est une partie de Tennessee |