No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1080-1080 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5404-5404 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5399-5399 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5396-5396 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5152-5152 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5397-5397 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5402-5402 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5401-5401 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1079-1079 |
Oklahoma e' uma instancia de AmericanState |