No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1146-1146 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1509-1509 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 824-824 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 356-356 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 359-359 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2508-2508 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 776-776 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 361-361 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 395-395 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 845-845 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 360-360 |
|