| appearance as argument number 1 |
|
| (documentation ListSumFn EnglishLanguage "The sum of all the numbers in a List.") | Merge.kif 3166-3166 | |
| (domain ListSumFn 1 List) | Merge.kif 3164-3164 | |
| (instance ListSumFn UnaryFunction) | Merge.kif 3163-3163 | |
| (range ListSumFn RealNumber) | Merge.kif 3165-3165 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage ListSumFn "the sum of %1") | Merge.kif 3167-3167 | |
| (termFormat EnglishLanguage ListSumFn "the sum of elements in %1") | Merge.kif 3168-3168 |
| antecedent |
|
|
| (=> (and (equal ?A (ListSumFn ?L)) (equal 1 (ListLengthFn ?L))) (equal ?A (ListOrderFn ?L 1))) |
Merge.kif 3176-3180 | |
| (=> (and (equal ?A (ListSumFn ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?A (AdditionFn (FirstFn ?L) (ListSumFn (SubListFn 2 (ListLengthFn ?L) ?L))))) |
Merge.kif 3182-3192 | |
| (=> (and (equal ?SUM (ListSumFn ?L)) (equal ?N (ListOrderFn ?L ?S))) (instance ?N RationalNumber)) |
Merge.kif 3170-3174 |
| consequent |
|
|
| (=> (and (amount ?S ?CO (MeasureFn ?N ?U)) (instance ?SI ?S) (measure ?SI (MeasureFn ?N2 ?U)) (part ?SI ?CO)) (exists (?L) (and (inList (MeasureFn ?N2 ?U) ?L) (equal ?L (AmountsFn ?S ?CO ?U)) (equal ?N (ListSumFn ?L))))) |
Merge.kif 7382-7397 | |
| (=> (and (equal ?A (AverageFn ?L)) (greaterThan (ListLengthFn ?L) 0)) (equal ?A (DivisionFn (ListSumFn ?L) (ListLengthFn ?L)))) |
Merge.kif 3201-3208 | |
| (=> (and (equal ?A (ListSumFn ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?A (AdditionFn (FirstFn ?L) (ListSumFn (SubListFn 2 (ListLengthFn ?L) ?L))))) |
Merge.kif 3182-3192 |
|
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