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 5720-5724 | |
(documentation GraphPath JapaneseLanguage "非公式には、Graph 内の2つの GraphNode 間の単一 の指向ルート。正式には、DirectedGraphは、元の Graph の subGraph であり、DirectedGraph 内の2つの GraphArc が同じ初期ノード (InitialNodeFn を参照) または同じ端末ノード (TerminalNodeFn を参照)を持たない。") | japanese_format.kif 1004-1007 | |
(subclass GraphPath DirectedGraph) | Merge.kif 5718-5718 | Graph path is a subclass of directed graph |
appearance as argument number 2 |
(range MaximalWeightedPathFn GraphPath) | Merge.kif 6034-6034 | The range of maximal weighted path is an instance of graph path |
(range MinimalWeightedPathFn GraphPath) | Merge.kif 6012-6012 | The range of minimal weighted path is an instance of graph path |
(rangeSubclass CutSetFn GraphPath) | Merge.kif 6072-6072 | The values returned by cut set are subclasses of graph path |
(rangeSubclass GraphPathFn GraphPath) | Merge.kif 6056-6056 | The values returned by graph path are subclasses of graph path |
(rangeSubclass MinimalCutSetFn GraphPath) | Merge.kif 6080-6080 | The values returned by minimal cut set are subclasses of graph path |
(subclass GraphCircuit GraphPath) | Merge.kif 5752-5752 | Graph circuit is a subclass of graph path |
(termFormat ChineseLanguage GraphPath "图路径") | chinese_format.kif 936-936 | |
(termFormat EnglishLanguage GraphPath "graph path") | english_format.kif 1079-1079 | |
(termFormat FrenchLanguage GraphPath "chemin du graph") | french_format.kif 612-612 | |
(termFormat Hindi GraphPath "aalekha patha") | terms-hindi.txt 143-143 | |
(termFormat ItalianLanguage GraphPath "CamminoDelGrafo") | terms-it.txt 146-146 | |
(termFormat JapaneseLanguage GraphPath "グラフパス") | japanese_format.kif 2297-2297 | |
(termFormat PortugueseLanguage GraphPath "Caminho do Grafo") | portuguese_format.kif 564-564 | |
(termFormat cb GraphPath "agianang agi") | terms-cb.txt 148-148 | |
(termFormat cz GraphPath "graph path") | terms-cz.txt 180-180 | |
(termFormat ro GraphPath "cale intr-un graf") | relations-ro.kif 633-633 | |
(termFormat tg GraphPath "bakas na talaguhitan") | terms-tg.txt 147-147 |
appearance as argument number 3 |
(domain BeginNodeFn 1 GraphPath) | Merge.kif 5942-5942 | The number 1 argument of begin node is an instance of graph path |
(domain EndNodeFn 1 GraphPath) | Merge.kif 5953-5953 | The number 1 argument of end node is an instance of graph path |
(domain PathWeightFn 1 GraphPath) | Merge.kif 5972-5972 | The number 1 argument of path weight is an instance of graph path |
(domain pathLength 1 GraphPath) | Merge.kif 5912-5912 | The number 1 argument of path length is an instance of graph path |
antecedent |
consequent |