No TPTP formula. May not be expressible in strict first order. | Merge.kif 6097-6099 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5632-5632 | Graph is a subclass of proposition |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5678-5678 | Directed graph is a subclass of graph |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5781-5781 | Multi graph is a subclass of graph |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5811-5811 | Pseudo graph is a subclass of graph |
![]() |