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 6003-6005
(domain MaximalWeightedPathFn 1 GraphNode) Merge.kif 5999-5999 The number 1 argument of maximal weighted path is an instance of graph node
(domain MaximalWeightedPathFn 2 GraphNode) Merge.kif 6000-6000 The number 2 argument of maximal weighted path is an instance of graph node
(instance MaximalWeightedPathFn BinaryFunction) Merge.kif 5997-5997 Maximal weighted path is an instance of binary function
(instance MaximalWeightedPathFn TotalValuedRelation) Merge.kif 5998-5998 Maximal weighted path is an instance of total valued relation
(range MaximalWeightedPathFn GraphPath) Merge.kif 6001-6001 The range of maximal weighted path is an instance of graph path

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

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


(=>
    (and
        (equal
            (MaximalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
        (equal
            (PathWeightFn ?PATH) ?NUMBER1)
        (instance ?PATH2
            (GraphPathFn ?NODE1 ?NODE2))
        (equal
            (PathWeightFn ?PATH2) ?NUMBER2))
    (lessThanOrEqualTo ?NUMBER2 ?NUMBER1))		 Merge.kif 6011-6017
(=>
    (equal
        (MaximalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
    (instance ?PATH
        (GraphPathFn ?NODE1 ?NODE2)))		 Merge.kif 6007-6009


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