No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 288-288 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 291-291 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2440-2440 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 708-708 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 293-293 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 327-327 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 777-777 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 292-292 |
|