| GraphPath(graph path) | | axis, coordinate_axis, dimension, major_axis, major_lobe, minor_axis, optic_axis, principal_axis, semimajor_axis, semiminor_axis, x-axis, y-axis, z-axis |
| appearance as argument number 1 |
|
|
| (documentation GraphPath ChineseLanguage "非形式来说，这是一个 Graph 的两个 GraphNode 之间 的单一有向的路径。形式的说，这是一个 DirectedGraph，它是原来的 Graph 的 subGraph，而使得 这个 DirectedGraph 里没有两个 GraphArc 有着相同的始点(可参考 InitialNodeFn) 或相同的终点 (可参考 TerminalNodeFn)。") | chinese_format.kif 2330-2333 | |
| (documentation GraphPath EnglishLanguage "Informally, a single, directed route between two GraphNodes in a Graph. Formally, a DirectedGraph that is a subGraph of the original Graph and such that no two GraphArcs in the DirectedGraph have the same initial node (see InitialNodeFn) or the same terminal node (see TerminalNodeFn).") | Merge.kif 5721-5725 | |
| (documentation GraphPath JapaneseLanguage "非公式には、Graph 内の2つの GraphNode 間の単一 の指向ルート。正式には、DirectedGraphは、元の Graph の subGraph であり、DirectedGraph 内の２つの GraphArc が同じ初期ノード (InitialNodeFn を参照) または同じ端末ノード (TerminalNodeFn を参照)を持たない。") | japanese_format.kif 1004-1007 | |
| (subclass GraphPath DirectedGraph) | Merge.kif 5719-5719 | Graph path is a subclass of directed graph |
| appearance as argument number 2 |
|
|
| (range MaximalWeightedPathFn GraphPath) | Merge.kif 6035-6035 | The range of maximal weighted path is an instance of graph path |
| (range MinimalWeightedPathFn GraphPath) | Merge.kif 6013-6013 | The range of minimal weighted path is an instance of graph path |
| (rangeSubclass CutSetFn GraphPath) | Merge.kif 6073-6073 | The values returned by cut set are subclasses of graph path |
| (rangeSubclass GraphPathFn GraphPath) | Merge.kif 6057-6057 | The values returned by graph path are subclasses of graph path |
| (rangeSubclass MinimalCutSetFn GraphPath) | Merge.kif 6081-6081 | The values returned by minimal cut set are subclasses of graph path |
| (subclass GraphCircuit GraphPath) | Merge.kif 5753-5753 | Graph circuit is a subclass of graph path |
| (termFormat ChineseLanguage GraphPath "图路径") | chinese_format.kif 936-936 | |
| (termFormat EnglishLanguage GraphPath "graph path") | english_format.kif 1079-1079 | |
| (termFormat FrenchLanguage GraphPath "chemin du graph") | french_format.kif 612-612 | |
| (termFormat Hindi GraphPath "aalekha patha") | terms-hindi.txt 143-143 | |
| (termFormat ItalianLanguage GraphPath "CamminoDelGrafo") | terms-it.txt 146-146 | |
| (termFormat JapaneseLanguage GraphPath "グラフパス") | japanese_format.kif 2297-2297 | |
| (termFormat PortugueseLanguage GraphPath "Caminho do Grafo") | portuguese_format.kif 564-564 | |
| (termFormat cb GraphPath "agianang agi") | terms-cb.txt 148-148 | |
| (termFormat cz GraphPath "graph path") | terms-cz.txt 180-180 | |
| (termFormat ro GraphPath "cale intr-un graf") | relations-ro.kif 633-633 | |
| (termFormat tg GraphPath "bakas na talaguhitan") | terms-tg.txt 147-147 |
| appearance as argument number 3 |
|
|
| (domain BeginNodeFn 1 GraphPath) | Merge.kif 5943-5943 | The number 1 argument of begin node is an instance of graph path |
| (domain EndNodeFn 1 GraphPath) | Merge.kif 5954-5954 | The number 1 argument of end node is an instance of graph path |
| (domain PathWeightFn 1 GraphPath) | Merge.kif 5973-5973 | The number 1 argument of path weight is an instance of graph path |
| (domain pathLength 1 GraphPath) | Merge.kif 5913-5913 | The number 1 argument of path length is an instance of graph path |
| antecedent |
|
|
| consequent |
|
|
|
|
|