| (subclass GraphElement Proposition) | Merge.kif 5819-5819 | Elemento do Grafo e' uma sub-classe de Proposicao |
| (subclass GraphNode GraphElement) | Merge.kif 5832-5832 | No' do Grafo e' uma sub-classe de Elemento do Grafo |
| (subclass GraphArc GraphElement) | Merge.kif 5842-5842 | Arco do Grafo e' uma sub-classe de Elemento do Grafo |
|
|