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 5745-5749 | |
(documentation GraphPath JapaneseLanguage "非公式には、Graph 内の2つの GraphNode 間の単一 の指向ルート。正式には、DirectedGraphは、元の Graph の subGraph であり、DirectedGraph 内の2つの GraphArc が同じ初期ノード (InitialNodeFn を参照) または同じ端末ノード (TerminalNodeFn を参照)を持たない。") | japanese_format.kif 1004-1007 | |
(subclass GraphPath DirectedGraph) | Merge.kif 5743-5743 | グラフパス は 有向グラフ の subclass では |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain BeginNodeFn 1 GraphPath) | Merge.kif 5967-5967 | BeginNodeFn の数値 1 引数は グラフパス の instance では |
(domain EndNodeFn 1 GraphPath) | Merge.kif 5978-5978 | EndNodeFn の数値 1 引数は グラフパス の instance では |
(domain PathWeightFn 1 GraphPath) | Merge.kif 5997-5997 | PathWeightFn の数値 1 引数は グラフパス の instance では |
(domain pathLength 1 GraphPath) | Merge.kif 5937-5937 | pathLength の数値 1 引数は グラフパス の instance では |
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 5751-5762 | |
(=> (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 5764-5775 |
consequent |
![]() |
![]() |
![]() |