|
|
   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 内の２つの GraphArc が同じ初期ノード (InitialNodeFn を参照) または同じ端末ノード (TerminalNodeFn を参照)を持たない。") | japanese_format.kif 1004-1007 | |
| (subclass GraphPath DirectedGraph) | Merge.kif 5718-5718 | Caminho do Grafo e' uma sub-classe de Grafo Orientado |
| appearance as argument number 2 |
|
|
| (range MaximalWeightedPathFn GraphPath) | Merge.kif 6034-6034 | O contra-dominio de MaximalWeightedPathFn e' uma instancia de Caminho do Grafo |
| (range MinimalWeightedPathFn GraphPath) | Merge.kif 6012-6012 | O contra-dominio de MinimalWeightedPathFn e' uma instancia de Caminho do Grafo |
| (rangeSubclass CutSetFn GraphPath) | Merge.kif 6072-6072 | Os valores retornados por CutSetFn sao as sub-classes de Caminho do Grafo |
| (rangeSubclass GraphPathFn GraphPath) | Merge.kif 6056-6056 | Os valores retornados por GraphPathFn sao as sub-classes de Caminho do Grafo |
| (rangeSubclass MinimalCutSetFn GraphPath) | Merge.kif 6080-6080 | Os valores retornados por MinimalCutSetFn sao as sub-classes de Caminho do Grafo |
| (subclass GraphCircuit GraphPath) | Merge.kif 5752-5752 | Circuito do Grafo e' uma sub-classe de Caminho do Grafo |
| (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 | O argumento numero 1 de BeginNodeFn e' uma instancia de Caminho do Grafo |
| (domain EndNodeFn 1 GraphPath) | Merge.kif 5953-5953 | O argumento numero 1 de EndNodeFn e' uma instancia de Caminho do Grafo |
| (domain PathWeightFn 1 GraphPath) | Merge.kif 5972-5972 | O argumento numero 1 de PathWeightFn e' uma instancia de Caminho do Grafo |
| (domain pathLength 1 GraphPath) | Merge.kif 5912-5912 | O argumento numero 1 de pathLength e' uma instancia de Caminho do Grafo |
| antecedent |
|
|
| consequent |
|
|
|
|
|