(subclass DirectedGraph Graph) | Merge.kif 5668-5668 | GrafoDiretto è una sottoclasse di Grafo |
(subclass Tree DirectedGraph) | Merge.kif 5685-5685 | Albero è una sottoclasse di GrafoDiretto |
(subclass GraphPath DirectedGraph) | Merge.kif 5718-5718 | CamminoDelGrafo è una sottoclasse di GrafoDiretto |