| appearance as argument number 1 |
|
| (documentation AverageFn EnglishLanguage "The average of the Numbers in a List") | Merge.kif 3157-3157 | |
| (domain AverageFn 1 List) | Merge.kif 3155-3155 | domain AverageFn, 1 and List |
| (instance AverageFn UnaryFunction) | Merge.kif 3154-3154 | instance AverageFn and UnaryFunction |
| (range AverageFn Number) | Merge.kif 3156-3156 | range AverageFn and Number |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage AverageFn "the average of the numbers in %1") | Merge.kif 3159-3159 | |
| (termFormat EnglishLanguage AverageFn "average function") | Merge.kif 3158-3158 |
| antecedent |
|
|
| (=> (and (equal ?A (AverageFn ?L)) (greaterThan (ListLengthFn ?L) 0)) (equal ?A (DivisionFn (ListSumFn ?L) (ListLengthFn ?L)))) |
Merge.kif 3161-3168 |
|
| (=> (and (equal ?V (VarianceFn ?L)) (equal ?M (AverageFn ?L))) (equal ?V (DivisionFn (VarianceAverageFn ?M ?L) (ListLengthFn ?L)))) |
Weather.kif 1078-1087 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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