Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ListSumFn

Sigma KEE - ListSumFn
ListSumFn

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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