No TPTP formula. May not be expressible in strict first order. | Merge.kif 5843-5843 | Arco do Grafo e' uma sub-classe de Elemento do Grafo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5853-5853 | Laco do Grafo e' uma sub-classe de Arco do Grafo |