No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1124-1124 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1465-1465 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 802-802 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 334-334 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 337-337 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2486-2486 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 754-754 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 339-339 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 373-373 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 823-823 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 338-338 |
|