No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 221-221 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2371-2371 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 639-639 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 255-255 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 708-708 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 222-222 |
|