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 数量 是 图节点 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 6011-6011 最低加权路径函数 的 2 数量 是 图节点 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 6008-6008 最低加权路径函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 6009-6009 最低加权路径函数 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 6012-6012 最低加权路径函数 的 range 是 图路径 的实例

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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6022-6028
No TPTP formula. May not be expressible in strict first order. Merge.kif 6018-6020


Show simplified definition (without tree view)
Show simplified definition (with tree view)

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