GraphPath | ![]() |
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 5307-5311 | |
(subclass GraphPath DirectedGraph) | Merge.kif 5305-5305 | subclass GraphPath and DirectedGraph |
appearance as argument number 2 |
![]() |
(range MaximalWeightedPathFn GraphPath) | Merge.kif 5596-5596 | range MaximalWeightedPathFn and GraphPath |
(range MinimalWeightedPathFn GraphPath) | Merge.kif 5571-5571 | range MinimalWeightedPathFn and GraphPath |
(rangeSubclass CutSetFn GraphPath) | Merge.kif 5637-5637 | rangeSubclass CutSetFn and GraphPath |
(rangeSubclass GraphPathFn GraphPath) | Merge.kif 5621-5621 | rangeSubclass GraphPathFn and GraphPath |
(rangeSubclass MinimalCutSetFn GraphPath) | Merge.kif 5645-5645 | rangeSubclass MinimalCutSetFn and GraphPath |
(subclass GraphCircuit GraphPath) | Merge.kif 5337-5337 | subclass GraphCircuit and GraphPath |
(termFormat ChineseLanguage GraphPath "图路径") | chinese_format.kif 936-936 | termFormat ChineseLanguage, GraphPath and "图路径" |
(termFormat EnglishLanguage GraphPath "graph path") | english_format.kif 1084-1084 | termFormat EnglishLanguage, GraphPath and "graph path" |
appearance as argument number 3 |
![]() |
(domain BeginNodeFn 1 GraphPath) | Merge.kif 5501-5501 | domain BeginNodeFn, 1 and GraphPath |
(domain EndNodeFn 1 GraphPath) | Merge.kif 5512-5512 | domain EndNodeFn, 1 and GraphPath |
(domain PathWeightFn 1 GraphPath) | Merge.kif 5531-5531 | domain PathWeightFn, 1 and GraphPath |
(domain pathLength 1 GraphPath) | Merge.kif 5471-5471 | domain pathLength, 1 and GraphPath |
antecedent |
![]() |
(=> (and (instance ?GRAPH GraphPath) (instance ?ARC GraphArc) (graphPart ?ARC ?GRAPH)) (=> (equal (InitialNodeFn ?ARC) ?NODE) (not (exists (?OTHER) (and (equal (InitialNodeFn ?OTHER) ?NODE) (not (equal ?OTHER ?ARC))))))) |
Merge.kif 5313-5323 | |
(=> (and (instance ?GRAPH GraphPath) (instance ?ARC GraphArc) (graphPart ?ARC ?GRAPH)) (=> (equal (TerminalNodeFn ?ARC) ?NODE) (not (exists (?OTHER) (and (equal (TerminalNodeFn ?OTHER) ?NODE) (not (equal ?OTHER ?ARC))))))) |
Merge.kif 5325-5335 |
consequent |
![]() |
![]() |
![]() |