(subclass DirectedGraph Graph) | Merge.kif 5668-5668 | 有向グラフ は グラフ の subclass では %n |
(subclass Tree DirectedGraph) | Merge.kif 5685-5685 | ツリー は 有向グラフ の subclass では %n |
(subclass GraphPath DirectedGraph) | Merge.kif 5718-5718 | グラフパス は 有向グラフ の subclass では %n |