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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AverageFn

Sigma KEE - AverageFn
AverageFn

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3162-3162
No TPTP formula. May not be expressible in strict first order. Merge.kif 3160-3160 The number 1 argument of average function is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 3159-3159 Average function is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3161-3161 The range of average function is an instance of number

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3164-3164
No TPTP formula. May not be expressible in strict first order. Merge.kif 3163-3163

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3166-3173
No TPTP formula. May not be expressible in strict first order. Weather.kif 1081-1090


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