| 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 |
|
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