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 上。") 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 5981-5983
(domain MinimalWeightedPathFn 1 GraphNode) Merge.kif 5977-5977
(domain MinimalWeightedPathFn 2 GraphNode) Merge.kif 5978-5978
(instance MinimalWeightedPathFn BinaryFunction) Merge.kif 5975-5975
(instance MinimalWeightedPathFn TotalValuedRelation) Merge.kif 5976-5976
(range MinimalWeightedPathFn GraphPath) Merge.kif 5979-5979

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 771-771
(termFormat ChineseLanguage MinimalWeightedPathFn "最低加权路径函数") chinese_format.kif 772-772
(termFormat ChineseLanguage MinimalWeightedPathFn "最小加权路径") domainEnglishFormat.kif 37855-37855
(termFormat ChineseTraditionalLanguage MinimalWeightedPathFn "最小加權路徑") domainEnglishFormat.kif 37854-37854
(termFormat EnglishLanguage MinimalWeightedPathFn "minimal weighted path") domainEnglishFormat.kif 37853-37853

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


(=>
    (and
        (equal
            (MinimalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
        (equal
            (PathWeightFn ?PATH) ?NUMBER1)
        (instance ?PATH2
            (GraphPathFn ?NODE1 ?NODE2))
        (equal
            (PathWeightFn ?PATH2) ?NUMBER2))
    (greaterThanOrEqualTo ?NUMBER2 ?NUMBER1))		 Merge.kif 5989-5995
(=>
    (equal
        (MinimalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
    (instance ?PATH
        (GraphPathFn ?NODE1 ?NODE2)))		 Merge.kif 5985-5987


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 3.0 is open source software produced by Articulate Software and its partners