No TPTP formula. May not be expressible in strict first order. |
french_format.kif 914-914 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 447-447 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 450-450 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2598-2598 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 866-866 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 452-452 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 486-486 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 935-935 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 451-451 |
|