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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MaximalWeightedPathFn
MaximalWeightedPathFn

appearance as argument number 1
-------------------------


(documentation MaximalWeightedPathFn ChineseLanguage "这是一个 BinaryFunction，它以两个 GraphNode 之间弧衡量总和的最大值，把两个 GraphNode 分配到 GraphPath 上。") chinese_format.kif 2374-2375
(documentation MaximalWeightedPathFn EnglishLanguage "This BinaryFunction assigns two GraphNodes to the GraphPath with the largest sum of weighted arcs between the two GraphNodes.") Merge.kif 6022-6024
(documentation MaximalWeightedPathFn JapaneseLanguage "この BinaryFunction は、2つの GraphNodes 間の加重円弧の最大合計を持つ2つの GraphNode を GraphPath に割り当てる。") japanese_format.kif 1051-1052
(domain MaximalWeightedPathFn 1 GraphNode) Merge.kif 6018-6018 MaximalWeightedPathFn の数値 1 引数は グラフノード の instance では %n
(domain MaximalWeightedPathFn 2 GraphNode) Merge.kif 6019-6019 MaximalWeightedPathFn の数値 2 引数は グラフノード の instance では %n
(instance MaximalWeightedPathFn BinaryFunction) Merge.kif 6016-6016 MaximalWeightedPathFn は 2変数関数 の instance では %n
(instance MaximalWeightedPathFn TotalValuedRelation) Merge.kif 6017-6017 MaximalWeightedPathFn は 合計値関係 の instance では %n
(range MaximalWeightedPathFn GraphPath) Merge.kif 6020-6020 MaximalWeightedPathFn の range は グラフパス のインスタンス では %n

appearance as argument number 2
-------------------------


(format ChineseLanguage MaximalWeightedPathFn "%1 和 %2 间的最高成本路径") chinese_format.kif 773-773
(format EnglishLanguage MaximalWeightedPathFn "the highest cost path between %1 and %2") english_format.kif 773-773
(format FrenchLanguage MaximalWeightedPathFn "le plus grand chemin entre %1 et %2") french_format.kif 466-466
(format ItalianLanguage MaximalWeightedPathFn "il il cammino col costo maggiore tra %1 e %2") relations-it.txt 176-176
(format JapaneseLanguage MaximalWeightedPathFn "%1 と %2 間の highest cost path") japanese_format.kif 2170-2170
(format PortugueseLanguage MaximalWeightedPathFn "o maior caminho entre %1 e %2") portuguese_format.kif 418-418
(format de MaximalWeightedPathFn "der Pfad der hoechsten Kosten zwischen %1 und %2") relations-de.txt 1000-1000
(format hi MaximalWeightedPathFn "%1 aura %2 ke biicha men uchchatama patha") relations-hindi.txt 214-214
(format ro MaximalWeightedPathFn "path%t{drumul} de cost%t{cost} highest%t{maxim} între %1 ºi %2") relations-ro.kif 488-488
(format sv MaximalWeightedPathFn
    (or "den mest kostsamma vägen mellan %1 och %2" "längsta vägen mellan %1 och %2"))		 relations-sv.txt 540-541
(format tg MaximalWeightedPathFn "ang sakdal mahal ng landas sagitna %1 at %2") relations-tg.txt 349-349
(termFormat ChineseLanguage MaximalWeightedPathFn "最大加权路径") domainEnglishFormat.kif 36599-36599
(termFormat ChineseLanguage MaximalWeightedPathFn "最高加权路径函数") chinese_format.kif 774-774
(termFormat ChineseTraditionalLanguage MaximalWeightedPathFn "最大加權路徑") domainEnglishFormat.kif 36598-36598
(termFormat EnglishLanguage MaximalWeightedPathFn "maximal weighted path") domainEnglishFormat.kif 36597-36597

antecedent
-------------------------


(=>
    (and
        (equal
            (MaximalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
        (equal
            (PathWeightFn ?PATH) ?NUMBER1)
        (instance ?PATH2
            (GraphPathFn ?NODE1 ?NODE2))
        (equal
            (PathWeightFn ?PATH2) ?NUMBER2))
    (lessThanOrEqualTo ?NUMBER2 ?NUMBER1))		 Merge.kif 6030-6036
(=>
    (equal
        (MaximalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
    (instance ?PATH
        (GraphPathFn ?NODE1 ?NODE2)))		 Merge.kif 6026-6028


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