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