No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5842-5842 |
图弧 是 图元素 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5832-5832 |
图节点 是 图元素 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 940-940 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1087-1087 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 616-616 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 147-147 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 150-150 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2301-2301 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 568-568 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 152-152 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 184-184 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 637-637 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 151-151 |
|