| appearance as argument number 1 |
|
| (documentation ListSumFn EnglishLanguage "The sum of all the numbers in a List.") | Merge.kif 3171-3171 | |
| (domain ListSumFn 1 List) | Merge.kif 3169-3169 | ListSumFn 的 1 数量 是 串列 的 instance |
| (instance ListSumFn UnaryFunction) | Merge.kif 3168-3168 | ListSumFn 是 一元函数 的 instance |
| (range ListSumFn RealNumber) | Merge.kif 3170-3170 | ListSumFn 的 range 是 实数 的实例 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage ListSumFn "the sum of %1") | Merge.kif 3172-3172 | |
| (termFormat EnglishLanguage ListSumFn "the sum of elements in %1") | Merge.kif 3173-3173 |
| antecedent |
|
|
| (=> (and (equal ?A (ListSumFn ?L)) (equal 1 (ListLengthFn ?L))) (equal ?A (ListOrderFn ?L 1))) |
Merge.kif 3181-3185 | |
| (=> (and (equal ?A (ListSumFn ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?A (AdditionFn (FirstFn ?L) (ListSumFn (SubListFn 2 (ListLengthFn ?L) ?L))))) |
Merge.kif 3187-3197 |
| 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 7500-7515 | |
| (=> (and (equal ?A (AverageFn ?L)) (greaterThan (ListLengthFn ?L) 0)) (equal ?A (DivisionFn (ListSumFn ?L) (ListLengthFn ?L)))) |
Merge.kif 3206-3213 | |
| (=> (and (equal ?A (ListSumFn ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?A (AdditionFn (FirstFn ?L) (ListSumFn (SubListFn 2 (ListLengthFn ?L) ?L))))) |
Merge.kif 3187-3197 |
|
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