No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1178-1178 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1573-1573 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 856-856 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 388-388 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 391-391 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2540-2540 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 808-808 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 393-393 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 427-427 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 877-877 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 392-392 |
|