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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MaximalWeightedPathFn

 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 6036-6038
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1051-1052
No TPTP formula. May not be expressible in strict first order. Merge.kif 6032-6032 域 最大加權路徑, 1 and GraphNode
No TPTP formula. May not be expressible in strict first order. Merge.kif 6033-6033 域 最大加權路徑, 2 and GraphNode
No TPTP formula. May not be expressible in strict first order. Merge.kif 6030-6030 例 最大加權路徑 and BinaryFunction
No TPTP formula. May not be expressible in strict first order. Merge.kif 6031-6031 例 最大加權路徑 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 6034-6034 範圍 最大加權路徑 and GraphPath

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 773-773
No TPTP formula. May not be expressible in strict first order. french_format.kif 466-466
No TPTP formula. May not be expressible in strict first order. relations-it.txt 176-176
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2170-2170
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 418-418
No TPTP formula. May not be expressible in strict first order. relations-de.txt 1000-1000
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 214-214
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 488-488
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 535-535
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 349-349
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36593-36593
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 774-774
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36592-36592
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36591-36591

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