(subclass GraphElement Proposition) | Merge.kif 5819-5819 | グラフ要素 は 命題 の subclass では %n |
(subclass GraphNode GraphElement) | Merge.kif 5832-5832 | グラフノード は グラフ要素 の subclass では %n |
(subclass GraphArc GraphElement) | Merge.kif 5842-5842 | グラフアーク は グラフ要素 の subclass では %n |