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 5721-5725 | |
(documentation GraphPath JapaneseLanguage "非公式には、Graph 内の2つの GraphNode 間の単一 の指向ルート。正式には、DirectedGraphは、元の Graph の subGraph であり、DirectedGraph 内の2つの GraphArc が同じ初期ノード (InitialNodeFn を参照) または同じ端末ノード (TerminalNodeFn を参照)を持たない。") | japanese_format.kif 1004-1007 | |
(subclass GraphPath DirectedGraph) | Merge.kif 5719-5719 | CamminoDelGrafo è una sottoclasse di GrafoDiretto |
appearance as argument number 2 |
(range MaximalWeightedPathFn GraphPath) | Merge.kif 6035-6035 | rango di MaximalWeightedPathFn è un'istanza di CamminoDelGrafo |
(range MinimalWeightedPathFn GraphPath) | Merge.kif 6013-6013 | rango di MinimalWeightedPathFn è un'istanza di CamminoDelGrafo |
(rangeSubclass CutSetFn GraphPath) | Merge.kif 6073-6073 | I valori resi da CutSetFn sono sottoclassi diCamminoDelGrafo |
(rangeSubclass GraphPathFn GraphPath) | Merge.kif 6057-6057 | I valori resi da GraphPathFn sono sottoclassi diCamminoDelGrafo |
(rangeSubclass MinimalCutSetFn GraphPath) | Merge.kif 6081-6081 | I valori resi da MinimalCutSetFn sono sottoclassi diCamminoDelGrafo |
(subclass GraphCircuit GraphPath) | Merge.kif 5753-5753 | CircuitoDelGrafo è una sottoclasse di CamminoDelGrafo |
(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 5943-5943 | Il numero 1 argomenti di BeginNodeFn è un istanza di CamminoDelGrafo |
(domain EndNodeFn 1 GraphPath) | Merge.kif 5954-5954 | Il numero 1 argomenti di EndNodeFn è un istanza di CamminoDelGrafo |
(domain PathWeightFn 1 GraphPath) | Merge.kif 5973-5973 | Il numero 1 argomenti di PathWeightFn è un istanza di CamminoDelGrafo |
(domain pathLength 1 GraphPath) | Merge.kif 5913-5913 | Il numero 1 argomenti di pathLength è un istanza di CamminoDelGrafo |
antecedent |
consequent |