No TPTP formula. May not be expressible in strict first order. | Merge.kif 6087-6089 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5622-5622 | 子類 Graph and Proposition |
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 5771-5771 | 子類 MultiGraph and Graph |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5801-5801 | 子類 PseudoGraph and Graph |