SubListFn - Sigma Knowledge base Browser

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 3160-3161
(domain SubListFn 1 Integer)	Merge.kif 3156-3156	The number 1 argument of sub_list function is an instance of integer
(domain SubListFn 2 Integer)	Merge.kif 3157-3157	The number 2 argument of sub_list function is an instance of integer
(domain SubListFn 3 List)	Merge.kif 3158-3158	The number 3 argument of sub_list function is an instance of list
(instance SubListFn TernaryFunction)	Merge.kif 3155-3155	Sub_list function is an instance of ternary function
(range SubListFn List)	Merge.kif 3159-3159	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 3163-3163
(termFormat EnglishLanguage SubListFn "sub_list function")	Merge.kif 3162-3162

antecedent

(=> (and (equal ?R (SubListFn ?S ?E ?L)) (equal (SubtractionFn ?E ?S) 0)) (equal ?R NullList))	Merge.kif 3165-3172	If a list is equal to the sub_list from an integer to another integer of another list and (the other integer and the integer) is equal to 0, then the list is equal to null list
(=> (and (equal ?R (SubListFn ?S ?E ?L)) (equal (SubtractionFn ?E ?S) 1)) (equal ?R (ListFn (ListOrderFn ?L ?S))))	Merge.kif 3174-3183	If a list is equal to the sub_list from a positive integer to an integer of another list and (the integer and the positive integer) is equal to 1, then the list is equal to (the positive integerth element of the other list)
(=> (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 3185-3197	If a list is equal to the sub_list from a positive integer to an integer of another list and (the integer and the positive integer) is greater than 1, then the list is equal to the list composed of (the positive integerth element of the other list) and the sub_list from (1 and the positive integer) to the integer of the other list

consequent

(=> (and (equal ?A (ListSumFn ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?A (AdditionFn (FirstFn ?L) (ListSumFn (SubListFn 2 (ListLengthFn ?L) ?L)))))	Merge.kif 3253-3263	If a real number is equal to the sum of a list and length of the list is greater than 1, then the real number is equal to (the first of the list and the sum of the sub_list from 2 to length of the list of the list)
(=> (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 3185-3197	If a list is equal to the sub_list from a positive integer to an integer of another list and (the integer and the positive integer) is greater than 1, then the list is equal to the list composed of (the positive integerth element of the other list) and the sub_list from (1 and the positive integer) to the integer of the other list
(=> (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 1436-1448	If a real number is equal to VarianceAverageFn of a list with the mean of a number and length of the list is greater than 1, then the real number is equal to (VarianceAverageFn of 1th element of the list with the mean of the number and VarianceAverageFn of the sub_list from 2 to length of the list of the list with the mean of the number)

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