No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 867-867 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 936-936 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 543-543 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 73-73 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 76-76 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2228-2228 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 495-495 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 78-78 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 110-110 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 564-564 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 77-77 |
|