AdditionFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2214-2215
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4716-4718
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 878-879
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4712-4712	O argumento numero 1 de AdditionFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4713-4713	O argumento numero 2 de AdditionFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5295-5295	0 e' um elemento identificador de AdditionFn
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4708-4708	AdditionFn e' uma instancia de Funcao Associativa
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4707-4707	AdditionFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4709-4709	AdditionFn e' uma instancia de Funcao Commutativa
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4711-4711	AdditionFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4714-4714	O contra-dominio de AdditionFn e' uma instancia de Numero Real

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 682-682
No TPTP formula. May not be expressible in strict first order.	english_format.kif 684-684
No TPTP formula. May not be expressible in strict first order.	french_format.kif 414-414
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 20-20
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2131-2131
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 366-366
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 423-423
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 889-889
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 65-65
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 436-436
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 458-458
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 54-54
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5418-5418
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 683-683
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5417-5417
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5416-5416
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 57-57

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3068-3089	Sequencia Simbolica e' igual a ReverseFn Sequencia Simbolica Numero Inteiro nao-negativo e' igual a StringLengthFn Sequencia Simbolica Numero Inteiro nao-negativo e' maior que 1 Numero Inteiro nao-negativo e' maior que 0 Numero Inteiro nao-negativo e' menos que Numero Inteiro nao-negativo Numero Inteiro e' igual a o teto de ( Numero Inteiro nao-negativo + 1) + 2 Numero Inteiro nao-negativoEW e' igual a (( Numero Inteiro + Numero Inteiro nao-negativo) + Numero Inteiro) Sequencia Simbolica e' igual a SubstringFn Sequencia Simbolica, Numero Inteiro nao-negativo and (1 + Numero Inteiro nao-negativo) Sequencia Simbolica e' igual a SubstringFn Sequencia Simbolica, Numero Inteiro nao-negativoEW and (1 + Numero Inteiro nao-negativoEW)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23916-23932	Menopausal e' um atributo de Humano vale durante Intervalo Temporal birthdate Humano and Dia Dia e' uma instancia de o dia Inteiro positivo Numero Real e' igual a (49 + Numero Inteiro) Numero Real e' igual a (52 + Numero Inteiro) Ponto no tempo e' igual a o comeco de Intervalo Temporal o argumento Ponto no tempo e' maior que Numero Real Numero Real e' maior que Ponto no tempo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1224-1233	FinancialAccount e' uma instancia de CreditAccount accountHolder FinancialAccount and Agente Cognitivo principalAmount FinancialAccount and Numero Real agreementPeriod FinancialAccount and Intervalo Temporal interestEarned FinancialAccount, Interest and Intervalo Temporal Numero Real e' igual a ( Numero Real + Interest) Agente Cognitivo e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1273-1282	Loan e' uma instancia de Loan borrower Loan and Agente Cognitivo principalAmount Loan and Numero Real agreementPeriod Loan and Intervalo Temporal interestEarned Loan, Interest and Intervalo Temporal Numero Real e' igual a ( Numero Real + Interest) Agente Cognitivo e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2333-2355	FinancialAsset e' uma instancia de ZeroCouponBond maturityDate AccountFn FinancialAsset and Dia FinancialAssetHolder possui FinancialAsset principalAmount AccountFn FinancialAsset and Numero Real Unidade de Medida(s) agreementPeriod AccountFn FinancialAsset and Intervalo Temporal interestEarned AccountFn FinancialAsset, Numero Real Unidade de Medida(s) and Intervalo Temporal Numero Real e' igual a ( Numero Real + Numero Real) Transacao Financeira Transacao Financeira e' uma instancia de Payment Transacao Financeira termina em FinancialAssetHolder Transacao Financeira tem como origem AccountFn FinancialAsset transactionAmount Transacao Financeira and Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 436-453	Transacao Financeira e' uma instancia de Deposit FinancialAccount e' uma instancia de FinancialAccount Transacao Financeira termina em CurrencyFn FinancialAccount transactionAmount Transacao Financeira and Numero Real Unidade de Medida(s) currentAccountBalance FinancialAccount, imediatemente antes de tempo de existencia de Transacao Financeira and Numero Real Unidade de Medida(s) Numero Real e' igual a ( Numero Real + Numero Real) currentAccountBalance FinancialAccount, imediatemente apos apos Transacao Financeira and Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1935-1944	Lista e' uma instancia de ConsecutiveTimeIntervalList Intervalo Temporal e' igual a Entidade elemento de Lista Intervalo Temporal e' igual a ( Inteiro positivo + 1)th elemento de Lista o comeco de Intervalo Temporal e' igual a o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5117-5128	Numero Inteiro e' igual a 0 (o maior numero inteiro menor or igual a Numero Inteiro + Numero Inteiro + Numero Inteiro + Numero Inteiro) e' igual a Numero Inteiro Numero Inteiro mod Numero Inteiro e' igual a Numero Inteiro

consequent

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 5993-6006	O valor de Caminho do Grafo e' igual a Numero Real Arco do Grafo e' uma &parte de Caminho do Grafo Arco do Grafo e' uma &parte de Caminho do Grafo o valor de Arco do Grafo e' Numero Real o valor de Arco do Grafo e' Numero Real Elemento do Grafo Elemento do Grafo e' uma &parte de Caminho do Grafo Elemento do Grafo e' igual a Arco do Grafo Elemento do Grafo e' igual a Arco do Grafo o valor de Caminho do Grafo e' igual a ( Numero Real + Numero Real)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5979-5991	O valor de Caminho do Grafo e' igual a Numero Real Caminho do Grafo e' um sub-grafo de Caminho do Grafo Arco do Grafo e' uma &parte de Caminho do Grafo o valor de Arco do Grafo e' Numero Real Elemento do Grafo Elemento do Grafo e' uma &parte de Caminho do Grafo Elemento do Grafo e' uma &parte de Caminho do Grafo Elemento do Grafo e' igual a Arco do Grafo Numero Real e' igual a (o valor de Caminho do Grafo + Numero Real)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5104-5115	Numero Inteiro mod Numero Inteiro e' igual a Numero Inteiro Numero Inteiro e' igual a 0 (o maior numero inteiro menor or igual a Numero Inteiro + Numero Inteiro + Numero Inteiro + Numero Inteiro) e' igual a Numero Inteiro
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.	Media.kif 3068-3089	Sequencia Simbolica e' igual a ReverseFn Sequencia Simbolica Numero Inteiro nao-negativo e' igual a StringLengthFn Sequencia Simbolica Numero Inteiro nao-negativo e' maior que 1 Numero Inteiro nao-negativo e' maior que 0 Numero Inteiro nao-negativo e' menos que Numero Inteiro nao-negativo Numero Inteiro e' igual a o teto de ( Numero Inteiro nao-negativo + 1) + 2 Numero Inteiro nao-negativoEW e' igual a (( Numero Inteiro + Numero Inteiro nao-negativo) + Numero Inteiro) Sequencia Simbolica e' igual a SubstringFn Sequencia Simbolica, Numero Inteiro nao-negativo and (1 + Numero Inteiro nao-negativo) Sequencia Simbolica e' igual a SubstringFn Sequencia Simbolica, Numero Inteiro nao-negativoEW and (1 + Numero Inteiro nao-negativoEW)
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)
No TPTP formula. May not be expressible in strict first order.	Food.kif 1248-1262	Objeto e' uma instancia de Mistura Unidade de Medida e' uma instancia de Unidade de Medida mixtureRatio Substancia, Substancia, Numero Real, Numero Real and Unidade de Medida a medida de Objeto e' Numero Real Unidade de Medida(s) Substancia e' uma &parte de Objeto Substancia e' uma &parte de Objeto a medida de Substancia e' Numero Real Unidade de Medida(s) a medida de Substancia e' Numero Real Unidade de Medida(s) Numero Real e' igual a ( Numero Real + Numero Real)
No TPTP formula. May not be expressible in strict first order.	Biography.kif 69-85	Processo e' uma instancia de BarMitzvah Humano e' um patient de Processo Humano e' uma instancia de Boy Humano e' membro de Colecao Colecao e' uma instancia de Judaism birthdate Humano and Dia Dia e' uma instancia de o dia Inteiro positivo Numero Inteiro Posicao Temporal Numero Inteiro e' uma instancia de Numero Inteiro Numero Inteiro e' igual a ( Numero Inteiro + 13) Posicao Temporal e' uma instancia de o dia Inteiro positivo tempo de existencia de Processo e' igual a imediatemente apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Biography.kif 99-115	Processo e' uma instancia de BatMitzvah Humano e' um patient de Processo Humano e' uma instancia de Girl Humano e' membro de Colecao Colecao e' uma instancia de Judaism birthdate Humano and Dia Dia e' uma instancia de o dia Inteiro positivo Numero Inteiro Posicao Temporal Numero Inteiro e' uma instancia de Numero Inteiro Numero Inteiro e' igual a ( Numero Inteiro + 13) Posicao Temporal e' uma instancia de o dia Inteiro positivo tempo de existencia de Processo e' igual a imediatemente apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Geography.kif 555-560	Unidade de Medida e' uma instancia de UnitOfArea landAreaOnly Area Geografica and Numero Real Unidade de Medida(s) waterAreaOnly Area Geografica and Numero Real Unidade de Medida(s) totalArea Area Geografica and ( Numero Real + Numero Real) Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17206-17212	Posicao Temporal e' uma instancia de a hora Numero Inteiro nao-negativo Posicao Temporal e' uma instancia de a hora Numero Inteiro nao-negativo o tempo Posicao Temporal na zona CentralTimeZone e' igual a Posicao Temporal Numero Inteiro nao-negativo e' igual a ( Numero Inteiro nao-negativo + 6)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17218-17224	Posicao Temporal e' uma instancia de a hora Numero Inteiro nao-negativo Posicao Temporal e' uma instancia de a hora Numero Inteiro nao-negativo o tempo Posicao Temporal na zona EasternTimeZone e' igual a Posicao Temporal Numero Inteiro nao-negativo e' igual a ( Numero Inteiro nao-negativo + 5)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17194-17200	Posicao Temporal e' uma instancia de a hora Numero Inteiro nao-negativo Posicao Temporal e' uma instancia de a hora Numero Inteiro nao-negativo o tempo Posicao Temporal na zona MountainTimeZone e' igual a Posicao Temporal Numero Inteiro nao-negativo e' igual a ( Numero Inteiro nao-negativo + 7)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17182-17188	Posicao Temporal e' uma instancia de a hora Numero Inteiro nao-negativo Posicao Temporal e' uma instancia de a hora Numero Inteiro nao-negativo o tempo Posicao Temporal na zona PacificTimeZone e' igual a Posicao Temporal Numero Inteiro nao-negativo e' igual a ( Numero Inteiro nao-negativo + 8)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 510-517	totalLengthOfHighwaySystem Area Geografica and Numero Real Unidade de Medida(s) lengthOfPavedHighway Area Geografica and Numero Real1 Unidade de Medida(s) lengthOfUnpavedHighway Area Geografica and Numero Real2 Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfLength totalLengthOfHighwaySystem Area Geografica and ( Numero Real1 + Numero Real2) Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 503-508	totalLengthOfHighwaySystem Area Geografica and Numero Real Unidade de Medida(s) lengthOfPavedHighway Area Geografica and Numero Real1 Unidade de Medida(s) lengthOfUnpavedHighway Area Geografica and Numero Real2 Unidade de Medida(s) Numero Real e' igual a ( Numero Real1 + Numero Real2)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6501-6509	conjugate Substancia Composta and Substancia Composta Inteiro positivo Inteiro positivo protonNumber Substancia Composta and Inteiro positivo protonNumber Substancia Composta and Inteiro positivo Inteiro positivo e' igual a ( Inteiro positivo + 1) Inteiro positivo e' igual a ( Inteiro positivo + 1)

statement

No TPTP formula. May not be expressible in strict first order.

Merge.kif 4720-4721

Numero Inteiro ( Numero Inteiro+1) e' igual a ( Numero Inteiro + 1)

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

KB Term:			Term intersection

English Word: