| 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 5428-5432 | |
| (subclass GraphPath DirectedGraph) | Merge.kif 5426-5426 | subclass GraphPath and DirectedGraph |
| appearance as argument number 2 |
|
|
| (range MaximalWeightedPathFn GraphPath) | Merge.kif 5717-5717 | range MaximalWeightedPathFn and GraphPath |
| (range MinimalWeightedPathFn GraphPath) | Merge.kif 5692-5692 | range MinimalWeightedPathFn and GraphPath |
| (rangeSubclass CutSetFn GraphPath) | Merge.kif 5758-5758 | rangeSubclass CutSetFn and GraphPath |
| (rangeSubclass GraphPathFn GraphPath) | Merge.kif 5742-5742 | rangeSubclass GraphPathFn and GraphPath |
| (rangeSubclass MinimalCutSetFn GraphPath) | Merge.kif 5766-5766 | rangeSubclass MinimalCutSetFn and GraphPath |
| (subclass GraphCircuit GraphPath) | Merge.kif 5458-5458 | 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 5622-5622 | domain BeginNodeFn, 1 and GraphPath |
| (domain EndNodeFn 1 GraphPath) | Merge.kif 5633-5633 | domain EndNodeFn, 1 and GraphPath |
| (domain PathWeightFn 1 GraphPath) | Merge.kif 5652-5652 | domain PathWeightFn, 1 and GraphPath |
| (domain pathLength 1 GraphPath) | Merge.kif 5592-5592 | 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 5434-5444 | |
| (=> (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 5446-5456 |
| consequent |
|
|
|
|
|