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 e' uma instancia de AmericanCity |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 753-753 |
NashvilleTennessee e' uma &parte de Tennessee |