No TPTP formula. May not be expressible in strict first order. | Merge.kif 5668-5668 | 子類 DirectedGraph and Graph |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5685-5685 | 子類 Tree and DirectedGraph |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5718-5718 | 子類 GraphPath and DirectedGraph |