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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 5655-5657
No TPTP formula. May not be expressible in strict first order. Merge.kif 5652-5652 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 5651-5651 Path weight is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 5653-5653 The range of path weight is an instance of quantity

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 772-772
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 44704-44704
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44703-44703
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44702-44702

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5727-5736
No TPTP formula. May not be expressible in strict first order. Merge.kif 5702-5711
No TPTP formula. May not be expressible in strict first order. Merge.kif 5673-5686
No TPTP formula. May not be expressible in strict first order. Merge.kif 5659-5671

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5727-5736
No TPTP formula. May not be expressible in strict first order. Merge.kif 5702-5711
No TPTP formula. May not be expressible in strict first order. Merge.kif 5673-5686
No TPTP formula. May not be expressible in strict first order. Merge.kif 5659-5671


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 3.0 is open source software produced by Articulate Software and its partners