No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18113-18113 |
例 死 and AnimacyAttribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18103-18103 |
例 活的 and AnimacyAttribute |
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 |
|