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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PathWeightFn

Sigma KEE - PathWeightFn
PathWeightFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2370-2371
No TPTP formula. May not be expressible in strict first order. Merge.kif 5975-5977
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1047-1048
No TPTP formula. May not be expressible in strict first order. Merge.kif 5972-5972 The number 1 argument of path weight is an instance of graph path
No TPTP formula. May not be expressible in strict first order. Merge.kif 5971-5971 Path weight is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 5973-5973 The range of path weight is an instance of real number

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 769-769
No TPTP formula. May not be expressible in strict first order. english_format.kif 769-769
No TPTP formula. May not be expressible in strict first order. french_format.kif 464-464
No TPTP formula. May not be expressible in strict first order. relations-it.txt 218-218
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2168-2168
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 416-416
No TPTP formula. May not be expressible in strict first order. relations-de.txt 994-994
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 256-256
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 486-486
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 532-532
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 410-410
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 770-770
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44790-44790
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44789-44789
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44788-44788

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6044-6050
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 5993-6006
No TPTP formula. May not be expressible in strict first order. Merge.kif 5979-5991

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 5993-6006
No TPTP formula. May not be expressible in strict first order. Merge.kif 5979-5991


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