No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18170-18170 |
Dead est une instance de attribute de vie |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18160-18160 |
Living est une instance de attribute de vie |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1258-1258 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1737-1737 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 936-936 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 472-472 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 475-475 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2620-2620 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 888-888 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 511-511 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 957-957 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 476-476 |
|