No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1041-1041 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1293-1293 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 719-719 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 250-250 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 253-253 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2403-2403 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 671-671 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 255-255 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 289-289 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 740-740 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 254-254 |
|