| 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 6037-6039 | |
| (documentation MaximalWeightedPathFn JapaneseLanguage "この BinaryFunction は、2つの GraphNodes 間の加重円弧の最大合計を持つ2つの GraphNode を GraphPath に割り当てる。") | japanese_format.kif 1051-1052 | |
| (domain MaximalWeightedPathFn 1 GraphNode) | Merge.kif 6033-6033 | |
| (domain MaximalWeightedPathFn 2 GraphNode) | Merge.kif 6034-6034 | |
| (instance MaximalWeightedPathFn BinaryFunction) | Merge.kif 6031-6031 | |
| (instance MaximalWeightedPathFn TotalValuedRelation) | Merge.kif 6032-6032 | |
| (range MaximalWeightedPathFn GraphPath) | Merge.kif 6035-6035 |
| 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 "den mest kostsamma vägen mellan %1 och %2") | relations-sv.txt 535-535 | |
| (format tg MaximalWeightedPathFn "ang sakdal mahal ng landas sagitna %1 at %2") | relations-tg.txt 349-349 | |
| (termFormat ChineseLanguage MaximalWeightedPathFn "最大加权路径") | domainEnglishFormat.kif 36622-36622 | |
| (termFormat ChineseLanguage MaximalWeightedPathFn "最高加权路径函数") | chinese_format.kif 774-774 | |
| (termFormat ChineseTraditionalLanguage MaximalWeightedPathFn "最大加權路徑") | domainEnglishFormat.kif 36621-36621 | |
| (termFormat EnglishLanguage MaximalWeightedPathFn "maximal weighted path") | domainEnglishFormat.kif 36620-36620 |
| 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 6045-6051 | |
| (=> (equal (MaximalWeightedPathFn ?NODE1 ?NODE2) ?PATH) (instance ?PATH (GraphPathFn ?NODE1 ?NODE2))) |
Merge.kif 6041-6043 |
|
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