TreeView Knowledge Base Browser - SubListFn

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

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3166-3167
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3162-3162	The number 1 argument of sub-list function is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3163-3163	The number 2 argument of sub-list function is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3164-3164	The number 3 argument of sub-list function is an instance of list
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3161-3161	Sub-list function is an instance of ternary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3165-3165	The range of sub-list function is an instance of list

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3169-3169
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3168-3168

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3171-3178	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3180-3189	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)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3191-3203	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

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3259-3269	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)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3191-3203	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1437-1449	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 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