| 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 |
|
|
|
|
|