No TPTP formula. May not be expressible in strict first order. | Merge.kif 5668-5668 | 有向图 是 图 的 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. | Merge.kif 5718-5718 | 图路径 是 有向图 的 subclass |