AverageFn
|
|
Sigma KEE - AverageFn
appearance as argument number 1
|
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3273-3273 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3271-3271 |
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 3270-3270 |
Average function is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3272-3272 |
The range of average function is an instance of real number |
|