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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2372-2373
No TPTP formula. May not be expressible in strict first order. Merge.kif 6014-6016
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1049-1050
No TPTP formula. May not be expressible in strict first order. Merge.kif 6010-6010 域 最小加權路徑, 1 and GraphNode
No TPTP formula. May not be expressible in strict first order. Merge.kif 6011-6011 域 最小加權路徑, 2 and GraphNode
No TPTP formula. May not be expressible in strict first order. Merge.kif 6008-6008 例 最小加權路徑 and BinaryFunction
No TPTP formula. May not be expressible in strict first order. Merge.kif 6009-6009 例 最小加權路徑 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 6012-6012 範圍 最小加權路徑 and GraphPath

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 771-771
No TPTP formula. May not be expressible in strict first order. english_format.kif 771-771
No TPTP formula. May not be expressible in strict first order. french_format.kif 465-465
No TPTP formula. May not be expressible in strict first order. relations-it.txt 190-190
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2169-2169
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 417-417
No TPTP formula. May not be expressible in strict first order. relations-de.txt 997-997
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 228-228
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 487-487
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 533-533
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 367-367
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 772-772
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37871-37871
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37870-37870
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37869-37869

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