No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12317-12317 |
损坏 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12285-12285 |
治疗过程 是 修理 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1157-1157 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1531-1531 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 835-835 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 367-367 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 370-370 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2519-2519 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 787-787 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 372-372 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 406-406 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 856-856 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 371-371 |
|