No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18091-18091 |
Dead is an instance of animacy attribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18081-18081 |
Living is an instance of animacy attribute |
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 |
|