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 3165-3166
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3161-3161	O argumento numero 1 de SubListFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3162-3162	O argumento numero 2 de SubListFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3163-3163	O argumento numero 3 de SubListFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3160-3160	SubListFn e' uma instancia de Funcao Ternaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3164-3164	O contra-dominio de SubListFn e' uma instancia de Lista

appearance as argument number 2

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

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3170-3177	Lista e' igual a SubListFn Numero Inteiro, Numero Inteiro and Lista ( Numero Inteiro + Numero Inteiro) e' igual a 0 Lista e' igual a NullList
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3179-3188	Lista e' igual a SubListFn Inteiro positivo, Numero Inteiro and Lista ( Numero Inteiro + Inteiro positivo) e' igual a 1 Lista e' igual a ( Inteiro positivoth elemento de Lista)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3190-3202	Lista e' igual a SubListFn Inteiro positivo, Numero Inteiro and Lista ( Numero Inteiro + Inteiro positivo) e' maior que 1 Lista e' igual a a lista composta de ( Inteiro positivoth elemento de Lista) e SubListFn (1 + Inteiro positivo), Numero Inteiro and Lista

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3258-3268	Numero Real e' igual a ListSumFn Lista comprimento de Lista e' maior que 1 Numero Real e' igual a (FirstFn Lista + ListSumFn SubListFn 2, comprimento de Lista and Lista)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3190-3202	Lista e' igual a SubListFn Inteiro positivo, Numero Inteiro and Lista ( Numero Inteiro + Inteiro positivo) e' maior que 1 Lista e' igual a a lista composta de ( Inteiro positivoth elemento de Lista) e SubListFn (1 + Inteiro positivo), Numero Inteiro and Lista
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1453-1465	Numero Real e' igual a VarianceAverageFn Numero and Lista comprimento de Lista e' maior que 1 Numero Real e' igual a (VarianceAverageFn Numero and 1th elemento de Lista + VarianceAverageFn Numero and SubListFn 2, comprimento de Lista and Lista)

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