No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 852-852 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6337-6337 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6338-6338 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5943-5943 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6322-6322 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6323-6323 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6324-6324 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6326-6326 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6327-6327 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6332-6332 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6334-6334 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 850-850 |
DallasTexas e' uma instancia de AmericanCity |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 851-851 |
DallasTexas e' uma &parte de Texas |