| GraphElement(graph element)
|
| appearance as argument number 1 |
|
| s__documentation(s__GraphElement,s__ChineseLanguage,'"这是 Graph 的非组成部分，这些部分限于 GraphNode 和 GraphArc。"')
|
chinese_format.kif 2340-2341 | |
| s__documentation(s__GraphElement,s__EnglishLanguage,'"Noncompositional parts of Graphs. These parts are restricted to GraphNodes and GraphArcs."')
|
Merge.kif 5514-5515 | |
| s__externalImage(s__GraphElement,'"http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ 6n-graf.svg"')
|
pictureList.kif 1790-1790 | |
| s__partition__3(s__GraphElement,s__GraphNode,s__GraphArc)
|
Merge.kif 5512-5512 | Graph element is exhaustively partitioned into graph node and graph arc |
| s__instance(s__Proposition,s__SetOrClass) s__instance(s__GraphElement,s__SetOrClass) s__subclass(s__GraphElement,s__Proposition)
|
Merge.kif 5511-5511 | Graph element is a subclass of proposition |
| appearance as argument number 2 |
|
|
| s__instance(s__GraphArc,s__SetOrClass) s__subclass(s__GraphArc,s__GraphElement) s__instance(s__GraphElement,s__SetOrClass)
|
Merge.kif 5534-5534 | Graph arc is a subclass of graph element |
| s__instance(s__GraphElement,s__SetOrClass) s__instance(s__GraphNode,s__SetOrClass) s__subclass(s__GraphNode,s__GraphElement)
|
Merge.kif 5524-5524 | Graph node is a subclass of graph element |
| s__termFormat(s__ChineseLanguage,s__GraphElement,'"图元素"')
|
chinese_format.kif 940-940 | |
| s__termFormat(s__EnglishLanguage,s__GraphElement,'"graph element"')
|
english_format.kif 1092-1092 |
| appearance as argument number 3 |
|
|
| s__domain(s__graphPart__m,n__1,s__GraphElement)
|
Merge.kif 5576-5576 | The number 1 argument of graph part is an instance of graph element |
| antecedent |
|
|
| ( ! [V__PART] : ((s__instance(V__PART,s__GraphElement) => (( ? [V__GRAPH] : ((s__instance(V__GRAPH,s__Graph) & s__graphPart(V__PART,V__GRAPH)))))) ) )
|
Merge.kif 5517-5522 |
|
|
|
|