TreeView Knowledge Base Browser - ListLengthFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ListLengthFn

ListLengthFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1967-1969
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3017-3020
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 599-601
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3014-3014	O argumento numero 1 de ListLengthFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3013-3013	ListLengthFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3012-3012	ListLengthFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3015-3015	O contra-dominio de ListLengthFn e' uma instancia de Numero Inteiro nao-negativo

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 265-265
No TPTP formula. May not be expressible in strict first order.	english_format.kif 270-270
No TPTP formula. May not be expressible in strict first order.	french_format.kif 151-151
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 168-168
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1979-1979
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 103-103
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 160-160
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 341-341
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 57-57
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 170-170
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 157-157
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 335-335
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34691-34691
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 266-266
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34690-34690
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34689-34689
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 109-109
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 336-336

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3219-3223	Comprimento de Lista e' igual a Inteiro positivo Inteiro positivoth elemento de Lista e' igual a Entidade LastFn Lista e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3277-3284	Numero Real e' igual a AverageFn Lista comprimento de Lista e' maior que 0 Numero Real e' igual a ListSumFn Lista + comprimento de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3252-3256	Numero Real e' igual a ListSumFn Lista 1 e' igual a comprimento de Lista Numero Real e' igual a 1th elemento de Lista
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 3083-3102	Lista e' igual a a lista composta de Lista e Lista Lista e' igual a NullList Lista e' igual a NullList Inteiro positivo e' menor ou igual a comprimento de Lista Inteiro positivo e' menor ou igual a comprimento de Lista Inteiro positivo e' uma instancia de Inteiro positivo Inteiro positivo e' uma instancia de Inteiro positivo Inteiro positivoth elemento de Lista e' igual a Inteiro positivoth elemento de Lista (comprimento de Lista + Inteiro positivo)th elemento de Lista e' igual a Inteiro positivoth elemento de Lista
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1486-1497	Numero Real e' igual a VarianceAverageFn Numero Real and Lista 1 e' igual a comprimento de Lista Numero Real e' igual a ( Numero Real + 1th elemento de Lista) + ( Numero Real + 1th elemento de 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)

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	Ano e' uma instancia de o ano AnoEAR MaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	Ano e' uma instancia de o ano Numero Inteiro FemaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	Ano e' uma instancia de o ano Numero Inteiro LifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 272-293	average Lista and Numero Real Lista Inteiro positivo comprimento de Lista e' igual a comprimento de Lista 1th elemento de Lista e' igual a 1th elemento de Lista Inteiro positivo Inteiro positivo e' um membro de Lista Numero Real Numero RealMINUSONE, Inteiro positivo and Inteiro positivo Numero Real e' maior que 1 Numero Real e' menor ou igual a comprimento de Lista Inteiro positivoth elemento de Lista e' igual a Numero Real Inteiro positivo e' um membro de Lista Numero Real e' igual a Inteiro positivoth elemento de Lista Inteiro positivo e' um membro de Lista Numero RealMINUSONE e' igual a ( Numero Real + 1) Numero RealMINUSONE e' igual a Inteiro positivoth elemento de Lista Inteiro positivo e' igual a ( Inteiro positivo + Inteiro positivo) Inteiro positivo e' igual a comprimento de Lista Numero Real e' igual a Inteiro positivoth elemento de Lista + Inteiro positivo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3277-3284	Numero Real e' igual a AverageFn Lista comprimento de Lista e' maior que 0 Numero Real e' igual a ListSumFn Lista + comprimento de Lista
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 3083-3102	Lista e' igual a a lista composta de Lista e Lista Lista e' igual a NullList Lista e' igual a NullList Inteiro positivo e' menor ou igual a comprimento de Lista Inteiro positivo e' menor ou igual a comprimento de Lista Inteiro positivo e' uma instancia de Inteiro positivo Inteiro positivo e' uma instancia de Inteiro positivo Inteiro positivoth elemento de Lista e' igual a Inteiro positivoth elemento de Lista (comprimento de Lista + Inteiro positivo)th elemento de Lista e' igual a Inteiro positivoth elemento de Lista
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1475-1484	Numero Real e' igual a VarianceFn Lista Numero Real e' igual a AverageFn Lista Numero Real e' igual a VarianceAverageFn Numero Real and Lista + comprimento de 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)
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3721-3739	SearchResultsPage e' uma instancia de SearchResultsPage Lista e' uma instancia de SRPResults Lista e' um componente de SearchResultsPage o numero de instancias dentro de a classe descrita por Sequencia Simbolica + comprimento de Lista e' igual a SRPEngagementFn SearchResultsPage
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3048-3055	Relacao tem Inteiro positivo argumento(s) Relacao e' uma instancia de Predicado @ROW Relacao @ROW comprimento de (@ROW) e' igual a Inteiro positivo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3212-3217	LastFn Lista e' igual a Entidade Inteiro positivo comprimento de Lista e' igual a Inteiro positivo Inteiro positivoth elemento de Lista e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2223-2240	Funcao de Quantidade e' igual a Mean10MinutesWindSpeedFn Area Geografica and Intervalo Temporal Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de MeasuringSurfaceWindSpeedList locationMeasuringList Entidade and Area Geografica measuringListInterval Entidade and 5 SecondDuration(s) measuringListDuration Entidade and 10 MinuteDuration(s) 120 e' igual a comprimento de Entidade measuringResult Entidade and Entidade Entidade e' igual a PhysicalQuantityToNumberFn Entidade Funcao de Quantidade e' igual a AverageFn Entidade Entidade(s) vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2328-2345	Funcao de Quantidade e' igual a Mean1MinuteWindSpeedFn Area Geografica and Intervalo Temporal Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de MeasuringSurfaceWindSpeedList locationMeasuringList Entidade and Area Geografica measuringListInterval Entidade and 5 SecondDuration(s) measuringListDuration Entidade and 1 MinuteDuration(s) 12 e' igual a comprimento de Entidade measuringResult Entidade and Entidade Entidade e' igual a PhysicalQuantityToNumberFn Entidade Funcao de Quantidade e' igual a AverageFn Entidade Entidade(s) vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2293-2310	Funcao de Quantidade e' igual a Mean2MinutesWindSpeedFn Area Geografica and Intervalo Temporal Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de MeasuringSurfaceWindSpeedList locationMeasuringList Entidade and Area Geografica measuringListInterval Entidade and 5 SecondDuration(s) measuringListDuration Entidade and 2 MinuteDuration(s) 24 e' igual a comprimento de Entidade measuringResult Entidade and Entidade Entidade e' igual a PhysicalQuantityToNumberFn Entidade Funcao de Quantidade e' igual a AverageFn Entidade Entidade(s) vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2258-2275	Funcao de Quantidade e' igual a Mean3MinutesWindSpeedFn Area Geografica and Intervalo Temporal Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de MeasuringSurfaceWindSpeedList locationMeasuringList Entidade and Area Geografica measuringListInterval Entidade and 5 SecondDuration(s) measuringListDuration Entidade and 2 MinuteDuration(s) 36 e' igual a comprimento de Entidade measuringResult Entidade and Entidade Entidade e' igual a PhysicalQuantityToNumberFn Entidade Funcao de Quantidade e' igual a AverageFn Entidade Entidade(s) vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1904-1921	Funcao de Quantidade e' igual a Mean3SecondWindSpeedFn Area Geografica and Intervalo Temporal Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de MeasuringSurfaceWindSpeedList locationMeasuringList Entidade and Area Geografica measuringListInterval Entidade and 0.25 SecondDuration(s) measuringListDuration Entidade and 3 SecondDuration(s) 12 e' igual a comprimento de Entidade measuringResult Entidade and Entidade Entidade e' igual a PhysicalQuantityToNumberFn Entidade Funcao de Quantidade e' igual a AverageFn Entidade Entidade(s) vale durante Intervalo Temporal

statement

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3037-3040	@ROW Entidade comprimento de (@ROW + Entidade) e' igual a (comprimento de (@ROW)+1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3042-3046	@ROW Entidade comprimento de (@ROW + Entidade)th elemento de (@ROW + Entidade) e' igual a Entidade

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