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 5598-5600
(domain MaximalWeightedPathFn 1 GraphNode) Merge.kif 5594-5594
(domain MaximalWeightedPathFn 2 GraphNode) Merge.kif 5595-5595
(instance MaximalWeightedPathFn BinaryFunction) Merge.kif 5592-5592
(instance MaximalWeightedPathFn TotalValuedRelation) Merge.kif 5593-5593
(range MaximalWeightedPathFn GraphPath) Merge.kif 5596-5596

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

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 5606-5615
(=>
    (equal
        (MaximalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
    (instance ?PATH
        (GraphPathFn ?NODE1 ?NODE2)))
Merge.kif 5602-5604


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners