| 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 5393-5397 | |
| (subclass GraphPath DirectedGraph) | Merge.kif 5391-5391 | subclass GraphPath and DirectedGraph |
| appearance as argument number 2 |
|
|
| (range MaximalWeightedPathFn GraphPath) | Merge.kif 5682-5682 | range MaximalWeightedPathFn and GraphPath |
| (range MinimalWeightedPathFn GraphPath) | Merge.kif 5657-5657 | range MinimalWeightedPathFn and GraphPath |
| (rangeSubclass CutSetFn GraphPath) | Merge.kif 5723-5723 | rangeSubclass CutSetFn and GraphPath |
| (rangeSubclass GraphPathFn GraphPath) | Merge.kif 5707-5707 | rangeSubclass GraphPathFn and GraphPath |
| (rangeSubclass MinimalCutSetFn GraphPath) | Merge.kif 5731-5731 | rangeSubclass MinimalCutSetFn and GraphPath |
| (subclass GraphCircuit GraphPath) | Merge.kif 5423-5423 | subclass GraphCircuit and GraphPath |
| (termFormat ChineseLanguage GraphPath "图路径") | chinese_format.kif 936-936 | |
| (termFormat EnglishLanguage GraphPath "graph path") | english_format.kif 1084-1084 |
| appearance as argument number 3 |
|
|
| (domain BeginNodeFn 1 GraphPath) | Merge.kif 5587-5587 | domain BeginNodeFn, 1 and GraphPath |
| (domain EndNodeFn 1 GraphPath) | Merge.kif 5598-5598 | domain EndNodeFn, 1 and GraphPath |
| (domain PathWeightFn 1 GraphPath) | Merge.kif 5617-5617 | domain PathWeightFn, 1 and GraphPath |
| (domain pathLength 1 GraphPath) | Merge.kif 5557-5557 | 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 5399-5409 | |
| (=> (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 5411-5421 |
| consequent |
|
|
|
|
|