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 3243-3243
(domain ListSumFn 1 List) Merge.kif 3241-3241
(instance ListSumFn UnaryFunction) Merge.kif 3240-3240
(range ListSumFn RealNumber) Merge.kif 3242-3242

appearance as argument number 2
-------------------------


(format EnglishLanguage ListSumFn "the sum of %1") Merge.kif 3244-3244
(termFormat EnglishLanguage ListSumFn "sum of elements") Merge.kif 3245-3245

antecedent
-------------------------


(=>
    (and
        (equal ?A
            (ListSumFn ?L))
        (equal 1
            (ListLengthFn ?L)))
    (equal ?A
        (ListOrderFn ?L 1)))		 Merge.kif 3253-3257
(=>
    (and
        (equal ?A
            (ListSumFn ?L))
        (greaterThan
            (ListLengthFn ?L) 1))
    (equal ?A
        (AdditionFn
            (FirstFn ?L)
            (ListSumFn
                (SubListFn 2
                    (ListLengthFn ?L) ?L)))))		 Merge.kif 3259-3269

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 7597-7612
(=>
    (and
        (equal ?A
            (AverageFn ?L))
        (greaterThan
            (ListLengthFn ?L) 0))
    (equal ?A
        (DivisionFn
            (ListSumFn ?L)
            (ListLengthFn ?L))))		 Merge.kif 3278-3285
(=>
    (and
        (equal ?A
            (ListSumFn ?L))
        (greaterThan
            (ListLengthFn ?L) 1))
    (equal ?A
        (AdditionFn
            (FirstFn ?L)
            (ListSumFn
                (SubListFn 2
                    (ListLengthFn ?L) ?L)))))		 Merge.kif 3259-3269


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