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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2374-2375
No TPTP formula. May not be expressible in strict first order. Merge.kif 5598-5600
No TPTP formula. May not be expressible in strict first order. Merge.kif 5594-5594 The number 1 argument of maximal weighted path is an instance of graph node
No TPTP formula. May not be expressible in strict first order. Merge.kif 5595-5595 The number 2 argument of maximal weighted path is an instance of graph node
No TPTP formula. May not be expressible in strict first order. Merge.kif 5592-5592 Maximal weighted path is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 5593-5593 Maximal weighted path is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5596-5596 The range of maximal weighted path is an instance of graph path

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 773-773
No TPTP formula. May not be expressible in strict first order. english_format.kif 776-776
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36511-36511 "最大加权路径" is the printable form of maximal weighted path in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 774-774 "最高加权路径函数" is the printable form of maximal weighted path in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36510-36510 "最大加權路徑" is the printable form of maximal weighted path in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36509-36509 "maximal weighted path" is the printable form of maximal weighted path in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5606-5615
No TPTP formula. May not be expressible in strict first order. Merge.kif 5602-5604


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