No TPTP formula. May not be expressible in strict first order. | Merge.kif 5819-5819 | Elemento do Grafo e' uma sub-classe de Proposicao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5832-5832 | No' do Grafo e' uma sub-classe de Elemento do Grafo |
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 |
![]() |