Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - MinimalWeightedPathFn

appearance as argument number 1

(documentation MinimalWeightedPathFn ChineseLanguage "这是一个 BinaryFunction,它以两个 GraphNode 之间弧衡量总和的最小值,把两个 GraphNode 分配到 GraphPath 上。") chinese_format.kif 2372-2373
(documentation MinimalWeightedPathFn EnglishLanguage "This BinaryFunction assigns two GraphNodes to the GraphPath with the smallest sum of weighted arcs between the two GraphNodes.") Merge.kif 6000-6002
(documentation MinimalWeightedPathFn JapaneseLanguage "この BinaryFunction は、2つの GraphNode 間の加重円弧の最小合計を持つ2つの GraphNodeGraphPath に割り当てる。") japanese_format.kif 1049-1050
(domain MinimalWeightedPathFn 1 GraphNode) Merge.kif 5996-5996 MinimalWeightedPathFn の数値 1 引数は グラフノードinstance では %n
(domain MinimalWeightedPathFn 2 GraphNode) Merge.kif 5997-5997 MinimalWeightedPathFn の数値 2 引数は グラフノードinstance では %n
(instance MinimalWeightedPathFn BinaryFunction) Merge.kif 5994-5994 MinimalWeightedPathFn2変数関数instance では %n
(instance MinimalWeightedPathFn TotalValuedRelation) Merge.kif 5995-5995 MinimalWeightedPathFn合計値関係instance では %n
(range MinimalWeightedPathFn GraphPath) Merge.kif 5998-5998 MinimalWeightedPathFnrangeグラフパス のインスタンス では %n

appearance as argument number 2

(format ChineseLanguage MinimalWeightedPathFn "%1 和 %2 间的最低成本路径") chinese_format.kif 771-771
(format EnglishLanguage MinimalWeightedPathFn "the lowest cost path between %1 and %2") english_format.kif 771-771
(format FrenchLanguage MinimalWeightedPathFn "le plus petit chemin entre %1 et %2") french_format.kif 465-465
(format ItalianLanguage MinimalWeightedPathFn "il cammino col minor costo tra %1 e %2") relations-it.txt 190-190
(format JapaneseLanguage MinimalWeightedPathFn "%1 と %2 間の lowest cost path") japanese_format.kif 2169-2169
(format PortugueseLanguage MinimalWeightedPathFn "o menor caminho entre %1 e %2") portuguese_format.kif 417-417
(format de MinimalWeightedPathFn "der Pfad der niedrigsten Kosten zwischen %1 und %2") relations-de.txt 997-997
(format hi MinimalWeightedPathFn "%1 aura %2 ke biicha men nimnatama muulya patha") relations-hindi.txt 228-228
(format ro MinimalWeightedPathFn "path%t{drumul} de cost%t{cost} lowest%t{minim} între %1 ºi %2") relations-ro.kif 487-487
(format sv MinimalWeightedPathFn
    (or "den minsta kostsamma vägen mellan %1 och %2" "kortaste vägen mellan %1 och %2"))
relations-sv.txt 538-539
(format tg MinimalWeightedPathFn "ang pinaka halaga landas sa pagitan ng %1 at %2") relations-tg.txt 367-367
(termFormat ChineseLanguage MinimalWeightedPathFn "最低加权路径函数") chinese_format.kif 772-772
(termFormat ChineseLanguage MinimalWeightedPathFn "最小加权路径") domainEnglishFormat.kif 37883-37883
(termFormat ChineseTraditionalLanguage MinimalWeightedPathFn "最小加權路徑") domainEnglishFormat.kif 37882-37882
(termFormat EnglishLanguage MinimalWeightedPathFn "minimal weighted path") domainEnglishFormat.kif 37881-37881


            (MinimalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
            (PathWeightFn ?PATH) ?NUMBER1)
        (instance ?PATH2
            (GraphPathFn ?NODE1 ?NODE2))
            (PathWeightFn ?PATH2) ?NUMBER2))
    (greaterThanOrEqualTo ?NUMBER2 ?NUMBER1))
Merge.kif 6008-6014
        (MinimalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
    (instance ?PATH
        (GraphPathFn ?NODE1 ?NODE2)))
Merge.kif 6004-6006

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners