| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5668-5668 | Grafo Orientado e' uma sub-classe de Grafo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5685-5685 | Arvore e' uma sub-classe de Grafo Orientado |
| 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 |
|
|