No TPTP formula. May not be expressible in strict first order. | Merge.kif 5718-5718 | Caminho do Grafo e' uma sub-classe de Grafo Orientado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5752-5752 | Circuito do Grafo e' uma sub-classe de Caminho do Grafo |