| GraphElement(graph element)
|
| 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 5872-5873 | |
| (documentation GraphElement JapaneseLanguage "Graph の非合成的なパーツ。これらのパーツは、 GraphNode および GraphArc に制限されている。") | japanese_format.kif 1014-1015 | |
| (externalImage GraphElement "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ 6n_graf.svg") | pictureList.kif 1788-1788 | |
| (partition GraphElement GraphNode GraphArc) | Merge.kif 5870-5870 | Graph element is exhaustively partitioned into graph node and graph arc |
| (subclass GraphElement Proposition) | Merge.kif 5869-5869 | Graph element is a subclass of proposition |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain graphPart 1 GraphElement) | Merge.kif 5938-5938 | The number 1 argument of graph part is an instance of graph element |
| antecedent |
|
|
| (=> (instance ?PART GraphElement) (exists (?GRAPH) (and (instance ?GRAPH Graph) (graphPart ?PART ?GRAPH)))) |
Merge.kif 5875-5880 |
|
|
|
|