No TPTP formula. May not be expressible in strict first order. |
french_format.kif 524-524 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 55-55 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 58-58 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2209-2209 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 476-476 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 60-60 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 91-91 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 545-545 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 59-59 |
|