No TPTP formula. May not be expressible in strict first order. | Merge.kif 5819-5819 | 子類 GraphElement and Proposition |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5832-5832 | 子類 GraphNode and GraphElement |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5842-5842 | 子類 GraphArc and GraphElement |
![]() |