AverageFn
|
|
Sigma KEE - 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 |
|