(subclass GraphElement Proposition) | Merge.kif 5819-5819 | ElementoDelGrafo è una sottoclasse di Proposizione |
(subclass GraphNode GraphElement) | Merge.kif 5832-5832 | NodoDelGrafo è una sottoclasse di ElementoDelGrafo |
(subclass GraphArc GraphElement) | Merge.kif 5842-5842 | Arco del grafo è una sottoclasse di ElementoDelGrafo |
![]() |