No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 925-925 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1057-1057 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 601-601 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 131-131 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 134-134 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2286-2286 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 553-553 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 136-136 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 168-168 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 622-622 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 135-135 |
|