![]() |
![]() ![]() ![]()
|
![]() |
|
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 5620-5624 | |
(subclass GraphPath DirectedGraph) | Merge.kif 5618-5618 | Graph path is a subclass of directed graph |
appearance as argument number 2 |
![]() |
(range MaximalWeightedPathFn GraphPath) | Merge.kif 5935-5935 | The range of maximal weighted path is an instance of graph path |
(range MinimalWeightedPathFn GraphPath) | Merge.kif 5910-5910 | The range of minimal weighted path is an instance of graph path |
(rangeSubclass CutSetFn GraphPath) | Merge.kif 5976-5976 | The values returned by cut set are subclasses of graph path |
(rangeSubclass GraphPathFn GraphPath) | Merge.kif 5960-5960 | The values returned by graph path are subclasses of graph path |
(rangeSubclass MinimalCutSetFn GraphPath) | Merge.kif 5984-5984 | The values returned by minimal cut set are subclasses of graph path |
(subclass GraphCircuit GraphPath) | Merge.kif 5650-5650 | 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 |
appearance as argument number 3 |
![]() |
(domain BeginNodeFn 1 GraphPath) | Merge.kif 5840-5840 | The number 1 argument of begin node is an instance of graph path |
(domain EndNodeFn 1 GraphPath) | Merge.kif 5851-5851 | The number 1 argument of end node is an instance of graph path |
(domain PathWeightFn 1 GraphPath) | Merge.kif 5870-5870 | The number 1 argument of path weight is an instance of graph path |
(domain pathLength 1 GraphPath) | Merge.kif 5810-5810 | The number 1 argument of path length is an instance of graph path |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |