No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1202-1202 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1621-1621 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 880-880 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 413-413 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 416-416 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2564-2564 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 832-832 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 418-418 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 452-452 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 901-901 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 417-417 |
|