No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5718-5718 |
图路径 是 有向图 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5685-5685 |
树 是 有向图 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 934-934 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1075-1075 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 610-610 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 141-141 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 144-144 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2295-2295 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 562-562 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 178-178 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 631-631 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 145-145 |
|