No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 844-844 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 890-890 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 520-520 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 51-51 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 54-54 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2205-2205 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 472-472 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 56-56 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 87-87 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 541-541 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 55-55 |
|