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 3286-3286
No TPTP formula. May not be expressible in strict first order. Merge.kif 3284-3284 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 3283-3283 Average function is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3285-3285 The range of average function is an instance of real number

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3288-3288
No TPTP formula. May not be expressible in strict first order. Merge.kif 3287-3287

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3290-3297
No TPTP formula. May not be expressible in strict first order. Merge.kif 3299-3303
No TPTP formula. May not be expressible in strict first order. Weather.kif 2305-2314

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 3052-3069
No TPTP formula. May not be expressible in strict first order. Weather.kif 3157-3174
No TPTP formula. May not be expressible in strict first order. Weather.kif 3122-3139
No TPTP formula. May not be expressible in strict first order. Weather.kif 3087-3104
No TPTP formula. May not be expressible in strict first order. Weather.kif 2733-2750


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