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
-------------------------


s__documentation(s__MaximalWeightedPathFn__m,s__ChineseLanguage,'"这是一个 BinaryFunction,它以两个 GraphNode 之间弧衡量总和的最大值,把两个 GraphNode 分配到 GraphPath 上。"')

chinese_format.kif 2374-2375
s__documentation(s__MaximalWeightedPathFn__m,s__EnglishLanguage,'"This BinaryFunction assigns two GraphNodes to the GraphPath with the largest sum of weighted arcs between the two GraphNodes."')

Merge.kif 5684-5686
s__domain(s__MaximalWeightedPathFn__m,n__1,s__GraphNode)

Merge.kif 5680-5680 The number 1 argument of maximal weighted path is an instance of graph node
s__domain(s__MaximalWeightedPathFn__m,n__2,s__GraphNode)

Merge.kif 5681-5681 The number 2 argument of maximal weighted path is an instance of graph node
s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__MaximalWeightedPathFn__m,s__BinaryFunction)

Merge.kif 5678-5678 Maximal weighted path is an instance of binary function
s__instance(s__MaximalWeightedPathFn__m,s__TotalValuedRelation)

s__instance(s__TotalValuedRelation,s__SetOrClass)

Merge.kif 5679-5679 Maximal weighted path is an instance of total valued relation
s__range(s__MaximalWeightedPathFn__m,s__GraphPath)

Merge.kif 5682-5682 The range of maximal weighted path is an instance of graph path

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


s__format(s__ChineseLanguage,s__MaximalWeightedPathFn__m,'"%1 和 %2 间的最高成本路径"')

chinese_format.kif 773-773
s__format(s__EnglishLanguage,s__MaximalWeightedPathFn__m,'"the highest cost path between %1 and %2"')

english_format.kif 776-776
s__termFormat(s__ChineseLanguage,s__MaximalWeightedPathFn__m,'"最大加权路径"')

domainEnglishFormat.kif 36487-36487
s__termFormat(s__ChineseLanguage,s__MaximalWeightedPathFn__m,'"最高加权路径函数"')

chinese_format.kif 774-774
s__termFormat(s__ChineseTraditionalLanguage,s__MaximalWeightedPathFn__m,'"最大加權路徑"')

domainEnglishFormat.kif 36486-36486
s__termFormat(s__EnglishLanguage,s__MaximalWeightedPathFn__m,'"maximal weighted path"')

domainEnglishFormat.kif 36485-36485

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


( ! [V__NODE2,V__NODE1,V__NUMBER1,V__NUMBER2,V__PATH] :
   ((s__instance(V__NODE2,s__GraphNode) &
       s__instance(V__NODE1,s__GraphNode) &
       s__instance(V__NUMBER1,s__Quantity) &
       s__instance(V__NUMBER2,s__Quantity) &
       s__instance(V__PATH,s__GraphPath))
     =>
     ((s__MaximalWeightedPathFn(V__NODE1,V__NODE2)
       = V__PATH)
     &
     (s__PathWeightFn(V__PATH)
     = V__NUMBER1))
=>
( ! [V__PATH2] :
   (s__instance(V__PATH2,s__GraphPath) =>
     (s__instance(V__PATH2,s__GraphPathFn(V__NODE1,V__NODE2))
   &
   (s__PathWeightFn(V__PATH2)
   = V__NUMBER2))
=>
s__lessThanOrEqualTo(V__NUMBER2,V__NUMBER1)))
)
)

Merge.kif 5692-5701
( ! [V__NODE2,V__NODE1,V__PATH] :
   ((s__instance(V__NODE2,s__GraphNode) &
       s__instance(V__NODE1,s__GraphNode) &
       s__instance(V__PATH,s__GraphPath))
     =>
     (s__MaximalWeightedPathFn(V__NODE1,V__NODE2)
     = V__PATH)
   =>
   s__instance(V__PATH,s__GraphPathFn(V__NODE1,V__NODE2))
)
)

Merge.kif 5688-5690


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