ListSumFn |
appearance as argument number 1 |
![]() |
(documentation ListSumFn EnglishLanguage "The sum of all the numbers in a List.") | Merge.kif 3179-3179 | |
(domain ListSumFn 1 List) | Merge.kif 3177-3177 | |
(instance ListSumFn UnaryFunction) | Merge.kif 3176-3176 | |
(range ListSumFn RealNumber) | Merge.kif 3178-3178 |
appearance as argument number 2 |
![]() |
(format EnglishLanguage ListSumFn "the sum of %1") | Merge.kif 3180-3180 | |
(termFormat EnglishLanguage ListSumFn "the sum of elements in %1") | Merge.kif 3181-3181 |
antecedent |
![]() |
(=> (and (equal ?A (ListSumFn ?L)) (equal 1 (ListLengthFn ?L))) (equal ?A (ListOrderFn ?L 1))) |
Merge.kif 3189-3193 | |
(=> (and (equal ?A (ListSumFn ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?A (AdditionFn (FirstFn ?L) (ListSumFn (SubListFn 2 (ListLengthFn ?L) ?L))))) |
Merge.kif 3195-3205 |
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 7508-7523 | |
(=> (and (equal ?A (AverageFn ?L)) (greaterThan (ListLengthFn ?L) 0)) (equal ?A (DivisionFn (ListSumFn ?L) (ListLengthFn ?L)))) |
Merge.kif 3214-3221 | |
(=> (and (equal ?A (ListSumFn ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?A (AdditionFn (FirstFn ?L) (ListSumFn (SubListFn 2 (ListLengthFn ?L) ?L))))) |
Merge.kif 3195-3205 |
![]() |
![]() |