MaximalWeightedPathFn |
appearance as argument number 1 |
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 36593-36593 | |
(termFormat ChineseLanguage MaximalWeightedPathFn "最高加权路径函数") | chinese_format.kif 774-774 | |
(termFormat ChineseTraditionalLanguage MaximalWeightedPathFn "最大加權路徑") | domainEnglishFormat.kif 36592-36592 | |
(termFormat EnglishLanguage MaximalWeightedPathFn "maximal weighted path") | domainEnglishFormat.kif 36591-36591 |
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 |
|