(subclass GraphElement Proposition) | Merge.kif 5819-5819 | Graph element is a subclass of proposition |
(subclass GraphNode GraphElement) | Merge.kif 5832-5832 | Graph node is a subclass of graph element |
(subclass GraphArc GraphElement) | Merge.kif 5842-5842 | Graph arc is a subclass of graph element |