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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SubListFn
SubListFn

appearance as argument number 1
-------------------------


(documentation SubListFn EnglishLanguage "A Function that returns a portion of the List that runs from the first index to the second index - 1. Note that lists subscripts begin at 1.") Merge.kif 3166-3167
(domain SubListFn 1 Integer) Merge.kif 3162-3162 The number 1 argument of sub-list function is an instance of integer
(domain SubListFn 2 Integer) Merge.kif 3163-3163 The number 2 argument of sub-list function is an instance of integer
(domain SubListFn 3 List) Merge.kif 3164-3164 The number 3 argument of sub-list function is an instance of list
(instance SubListFn TernaryFunction) Merge.kif 3161-3161 Sub-list function is an instance of ternary function
(range SubListFn List) Merge.kif 3165-3165 The range of sub-list function is an instance of list

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


(format EnglishLanguage SubListFn "the sub-list from %1 to %2 of %3") Merge.kif 3169-3169
(termFormat EnglishLanguage SubListFn "sub-list function") Merge.kif 3168-3168

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


(=>
    (and
        (equal ?R
            (SubListFn ?S ?E ?L))
        (equal
            (SubtractionFn ?E ?S) 0))
    (equal ?R NullList))
Merge.kif 3171-3178
(=>
    (and
        (equal ?R
            (SubListFn ?S ?E ?L))
        (equal
            (SubtractionFn ?E ?S) 1))
    (equal ?R
        (ListFn
            (ListOrderFn ?L ?S))))
Merge.kif 3180-3189
(=>
    (and
        (equal ?R
            (SubListFn ?S ?E ?L))
        (greaterThan
            (SubtractionFn ?E ?S) 1))
    (equal ?R
        (ListConcatenateFn
            (ListFn
                (ListOrderFn ?L ?S))
            (SubListFn
                (AdditionFn 1 ?S) ?E ?L))))
Merge.kif 3191-3203

consequent
-------------------------


(=>
    (and
        (equal ?A
            (ListSumFn ?L))
        (greaterThan
            (ListLengthFn ?L) 1))
    (equal ?A
        (AdditionFn
            (FirstFn ?L)
            (ListSumFn
                (SubListFn 2
                    (ListLengthFn ?L) ?L)))))
Merge.kif 3259-3269
(=>
    (and
        (equal ?R
            (SubListFn ?S ?E ?L))
        (greaterThan
            (SubtractionFn ?E ?S) 1))
    (equal ?R
        (ListConcatenateFn
            (ListFn
                (ListOrderFn ?L ?S))
            (SubListFn
                (AdditionFn 1 ?S) ?E ?L))))
Merge.kif 3191-3203
(=>
    (and
        (equal ?VA
            (VarianceAverageFn ?M ?L))
        (greaterThan
            (ListLengthFn ?L) 1))
    (equal ?VA
        (AdditionFn
            (VarianceAverageFn ?M
                (ListOrderFn ?L 1))
            (VarianceAverageFn ?M
                (SubListFn 2
                    (ListLengthFn ?L) ?L)))))
Weather.kif 1437-1449


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