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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MinimalWeightedPathFn
MinimalWeightedPathFn

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


(documentation MinimalWeightedPathFn ChineseLanguage "这是一个 BinaryFunction,它以两个 GraphNode 之间弧衡量总和的最小值,把两个 GraphNode 分配到 GraphPath 上。") chinese_format.kif 2372-2373
(documentation MinimalWeightedPathFn EnglishLanguage "This BinaryFunction assigns two GraphNodes to the GraphPath with the smallest sum of weighted arcs between the two GraphNodes.") Merge.kif 5573-5575
(domain MinimalWeightedPathFn 1 GraphNode) Merge.kif 5569-5569 The number 1 argument of minimal weighted path is an instance of graph node
(domain MinimalWeightedPathFn 2 GraphNode) Merge.kif 5570-5570 The number 2 argument of minimal weighted path is an instance of graph node
(instance MinimalWeightedPathFn BinaryFunction) Merge.kif 5567-5567 Minimal weighted path is an instance of binary function
(instance MinimalWeightedPathFn TotalValuedRelation) Merge.kif 5568-5568 Minimal weighted path is an instance of total valued relation
(range MinimalWeightedPathFn GraphPath) Merge.kif 5571-5571 The range of minimal weighted path is an instance of graph path

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


(format ChineseLanguage MinimalWeightedPathFn "%1 和 %2 间的最低成本路径") chinese_format.kif 771-771
(format EnglishLanguage MinimalWeightedPathFn "the lowest cost path between %1 and %2") english_format.kif 774-774
(termFormat ChineseLanguage MinimalWeightedPathFn "最低加权路径函数") chinese_format.kif 772-772 "最低加权路径函数" is the printable form of minimal weighted path in ChineseLanguage
(termFormat ChineseLanguage MinimalWeightedPathFn "最小加权路径") domainEnglishFormat.kif 37795-37795 "最小加权路径" is the printable form of minimal weighted path in ChineseLanguage
(termFormat ChineseTraditionalLanguage MinimalWeightedPathFn "最小加權路徑") domainEnglishFormat.kif 37794-37794 "最小加權路徑" is the printable form of minimal weighted path in ChineseTraditionalLanguage
(termFormat EnglishLanguage MinimalWeightedPathFn "minimal weighted path") domainEnglishFormat.kif 37793-37793 "minimal weighted path" is the printable form of minimal weighted path in english language

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


(=>
    (and
        (equal
            (MinimalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
        (equal
            (PathWeightFn ?PATH) ?NUMBER1))
    (forall (?PATH2)
        (=>
            (and
                (instance ?PATH2
                    (GraphPathFn ?NODE1 ?NODE2))
                (equal
                    (PathWeightFn ?PATH2) ?NUMBER2))
            (greaterThanOrEqualTo ?NUMBER2 ?NUMBER1))))
Merge.kif 5581-5590
(=>
    (equal
        (MinimalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
    (instance ?PATH
        (GraphPathFn ?NODE1 ?NODE2)))
Merge.kif 5577-5579


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