No TPTP formula. May not be expressible in strict first order. | Merge.kif 5718-5718 | Graph path is a subclass of directed graph |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5752-5752 | Graph circuit is a subclass of graph path |