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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MinimalWeightedPathFn

Sigma KEE - MinimalWeightedPathFn
MinimalWeightedPathFn

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


(documentation MinimalWeightedPathFn ChineseLanguage "这是一个 BinaryFunction,它以两个 GraphNode 之间弧衡量总和的最小值,把两个 GraphNode 分配到 GraphPath 上。") Merge.kif 6136-6137
(documentation MinimalWeightedPathFn EnglishLanguage "This BinaryFunction assigns two GraphNodes to the GraphPath with the smallest sum of weighted arcs between the two GraphNodes.") Merge.kif 6133-6135
(domain MinimalWeightedPathFn 1 GraphNode) Merge.kif 6130-6130
(domain MinimalWeightedPathFn 2 GraphNode) Merge.kif 6131-6131
(instance MinimalWeightedPathFn BinaryFunction) Merge.kif 6128-6128
(instance MinimalWeightedPathFn TotalValuedRelation) Merge.kif 6129-6129
(range MinimalWeightedPathFn GraphPath) Merge.kif 6132-6132

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 476-476
(termFormat ChineseLanguage MinimalWeightedPathFn "最低加权路径函数") chinese_format.kif 772-772
(termFormat EnglishLanguage MinimalWeightedPathFn "minimal weighted path") domainEnglishFormat.kif 6732-6732

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 6143-6152
(=>
    (equal
        (MinimalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
    (instance ?PATH
        (GraphPathFn ?NODE1 ?NODE2)))
Merge.kif 6139-6141


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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