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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ListSumFn

Sigma KEE - ListSumFn
ListSumFn

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3201-3201
No TPTP formula. May not be expressible in strict first order. Merge.kif 3199-3199 The number 1 argument of sum of elements is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 3198-3198 Sum of elements is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3200-3200 The range of sum of elements is an instance of real number

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3202-3202
No TPTP formula. May not be expressible in strict first order. Merge.kif 3203-3203

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3211-3215
No TPTP formula. May not be expressible in strict first order. Merge.kif 3217-3227

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7535-7550
No TPTP formula. May not be expressible in strict first order. Merge.kif 3236-3243
No TPTP formula. May not be expressible in strict first order. Merge.kif 3217-3227


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