(subclass DirectedGraph Graph) | Merge.kif 5668-5668 | Graph dirig�e est une sous-classe de graph |
(subclass Tree DirectedGraph) | Merge.kif 5685-5685 | Arbre est une sous-classe de graph dirig�e |
(subclass GraphPath DirectedGraph) | Merge.kif 5718-5718 | Chemin du graph est une sous-classe de graph dirig�e |