No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 292-292 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2441-2441 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 709-709 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 328-328 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 778-778 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 293-293 |
|