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 O argumento numero 1 de ListSumFn e' uma instancia de Lista
(instance ListSumFn UnaryFunction) Merge.kif 3240-3240 ListSumFn e' uma instancia de funcao Unaria
(range ListSumFn RealNumber) Merge.kif 3242-3242 O contra-dominio de ListSumFn e' uma instancia de Numero Real

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