(subclass GraphElement Proposition) | Merge.kif 5819-5819 | GraphElement ist eine teilkategorie von Proposition |
(subclass GraphNode GraphElement) | Merge.kif 5832-5832 | GraphNode ist eine teilkategorie von GraphElement |
(subclass GraphArc GraphElement) | Merge.kif 5842-5842 | GraphArc ist eine teilkategorie von GraphElement |