(subclass GraphElement Proposition) | Merge.kif 5819-5819 | �lement du graph Est une sous-classe de proposition |
(subclass GraphNode GraphElement) | Merge.kif 5832-5832 | Noeud du graph est une sous-classe de �lement du graph |
(subclass GraphArc GraphElement) | Merge.kif 5842-5842 | Arc du graph est une sous-classe de �lement du graph |