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 5719-5721
(domain MaximalWeightedPathFn 1 GraphNode) Merge.kif 5715-5715 最高加权路径函数 的 1 数量 是 图节点instance
(domain MaximalWeightedPathFn 2 GraphNode) Merge.kif 5716-5716 最高加权路径函数 的 2 数量 是 图节点instance
(instance MaximalWeightedPathFn BinaryFunction) Merge.kif 5713-5713 最高加权路径函数二元函数instance
(instance MaximalWeightedPathFn TotalValuedRelation) Merge.kif 5714-5714 最高加权路径函数总值关系instance
(range MaximalWeightedPathFn GraphPath) Merge.kif 5717-5717 最高加权路径函数range图路径 的实例

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 776-776
(termFormat ChineseLanguage MaximalWeightedPathFn "最大加权路径") domainEnglishFormat.kif 36508-36508
(termFormat ChineseLanguage MaximalWeightedPathFn "最高加权路径函数") chinese_format.kif 774-774
(termFormat ChineseTraditionalLanguage MaximalWeightedPathFn "最大加權路徑") domainEnglishFormat.kif 36507-36507
(termFormat EnglishLanguage MaximalWeightedPathFn "maximal weighted path") domainEnglishFormat.kif 36506-36506

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


(=>
    (and
        (equal
            (MaximalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
        (equal
            (PathWeightFn ?PATH) ?NUMBER1))
    (forall (?PATH2)
        (=>
            (and
                (instance ?PATH2
                    (GraphPathFn ?NODE1 ?NODE2))
                (equal
                    (PathWeightFn ?PATH2) ?NUMBER2))
            (lessThanOrEqualTo ?NUMBER2 ?NUMBER1))))
Merge.kif 5727-5736
(=>
    (equal
        (MaximalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
    (instance ?PATH
        (GraphPathFn ?NODE1 ?NODE2)))
Merge.kif 5723-5725


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