| GraphElement(图元素)
|
| appearance as argument number 1 |
|
| (documentation GraphElement ChineseLanguage "这是 Graph 的非组成部分，这些部分限于 GraphNode 和 GraphArc。") | chinese_format.kif 2340-2341 | |
| (documentation GraphElement EnglishLanguage "Noncompositional parts of Graphs. These parts are restricted to GraphNodes and GraphArcs.") | Merge.kif 5720-5721 | |
| (externalImage GraphElement "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ 6n-graf.svg") | pictureList.kif 1790-1790 | |
| (partition GraphElement GraphNode GraphArc) | Merge.kif 5718-5718 | 图元素 详尽无遗地 partition 成 图节点 和 图弧 |
| (subclass GraphElement Proposition) | Merge.kif 5717-5717 | 图元素 是 命题 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass GraphArc GraphElement) | Merge.kif 5740-5740 | 图弧 是 图元素 的 subclass |
| (subclass GraphNode GraphElement) | Merge.kif 5730-5730 | 图节点 是 图元素 的 subclass |
| (termFormat ChineseLanguage GraphElement "图元素") | chinese_format.kif 940-940 | |
| (termFormat EnglishLanguage GraphElement "graph element") | english_format.kif 1087-1087 |
| appearance as argument number 3 |
|
|
| (domain graphPart 1 GraphElement) | Merge.kif 5786-5786 | 图形部分 的 1 数量 是 图元素 的 instance |
| antecedent |
|
|
| (=> (instance ?PART GraphElement) (exists (?GRAPH) (and (instance ?GRAPH Graph) (graphPart ?PART ?GRAPH)))) |
Merge.kif 5723-5728 |
|
|
|