FutureFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2743-2744
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8536-8537
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1469-1470
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8533-8533	O argumento numero 1 de FutureFn e' uma instancia de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8530-8530	FutureFn e' uma instancia de Relacao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8532-8532	FutureFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8531-8531	FutureFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8534-8534	O contra-dominio de FutureFn e' uma instancia de Intervalo Temporal

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 461-461
No TPTP formula. May not be expressible in strict first order.	english_format.kif 467-467
No TPTP formula. May not be expressible in strict first order.	french_format.kif 267-267
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 115-115
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2057-2057
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 219-219
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 273-273
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 602-602
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 155-155
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 288-288
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 294-294
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 240-240
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25304-25304
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 462-462
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25303-25303
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25302-25302
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 241-241

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14054-14057	agreementExpirationDate Agreement and Ponto no tempo Agreement tem um atributo de ActiveAgreement vale durante apos Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Government.kif 546-553	independenceDate Area Geopolitica and Intervalo Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Entidade dependentGeopoliticalArea Area Geopolitica and Entidade vale durante apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10244-10259	Processo e' uma instancia de Morte AutonomousAgent e' uma instancia de Organismo AutonomousAgent experimenta Processo Entidade Entidade Entidade e' o resultado de Processo Entidade e' uma instancia de Objeto Organico Dead e' um atributo de Entidade vale durante apos tempo de existencia de Processo Entidade e' uma &parte de Entidade vale durante imediatemente apos tempo de existencia de Processo Entidade e' uma &parte de AutonomousAgent vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12068-12084	Processo e' uma instancia de Deciding Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de Conjunto ContentBearingPhysical e' o resultado de Processo ContentBearingPhysical e' uma instancia de ContentBearingPhysical containsFormula ContentBearingPhysical and Entidade Entidade e' um elemento de Entidade Entidade e' uma instancia de Processo Intencional Entidade e' um agente de AutonomousAgent vale durante apos tempo de existencia de Processo
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.	Medicine.kif 3628-3644	Transferencia e' uma instancia de Injecting Objeto e' uma instancia de Adalimumab objectTransferred Transferencia and Objeto Transferencia e' situado em Objeto Objeto e' uma instancia de Parte do Corpo Transferencia termina em Entidade o argumento Entidade PainFn Objeto e' um atributo de Entidade vale durante Entidade Entidade acontece durante apos tempo de existencia de Transferencia tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12327-12333	Processo e' uma instancia de Matar Entidade e' um patient de Processo Living e' um atributo de Entidade vale durante o comeco de tempo de existencia de Processo Dead e' um atributo de Entidade vale durante apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8623-8634	Objeto e' uma instancia de Poison Movimento e' uma instancia de Ingerir moves Movimento and Objeto AutonomousAgent experimenta Movimento o argumento Blind e' um atributo de AutonomousAgent vale durante apos tempo de existencia de Movimento tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13279-13284	Processo e' uma instancia de Naming Entidade e' um patient de Processo Processo termina em Entidade Entidade se chama nome Entidade vale durante apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Media.kif 153-160	Processo e' uma instancia de ReachingAgreement Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo Entidade e' uma instancia de Agreement partyToAgreement AutonomousAgent and Entidade vale durante apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 466-481	Transacao Financeira e' uma instancia de Withdrawal FinancialAccount e' uma instancia de FinancialAccount Transacao Financeira tem como origem 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.	Mid-level-ontology.kif 22110-22118	Processo e' uma instancia de SuicideBombing Processo e' um agente de Agente Cognitivo Agente Cognitivo acredita que Dead e' um atributo de Agente Cognitivo vale durante apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9696-9708	Fisico e' uma instancia de Antidepressant Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Ingerir objectTransferred Entidade and Fisico Fisico e' um agente de Entidade Depression e' um atributo de Entidade vale durante apos tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9716-9728	Fisico e' uma instancia de Antipsychotic Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Ingerir objectTransferred Entidade and Fisico Fisico e' um agente de Entidade Psychosis e' um atributo de Entidade vale durante apos tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1046-1059	Entidade e' uma instancia de VaccinatableDisease Entidade Entidade and Processo Entidade e' uma instancia de Vaccine Processo e' uma instancia de Colocar Processo termina em Entidade Entidade e' uma instancia de Humano o argumento Entidade e' um atributo de Entidade vale durante apos tempo de existencia de Processo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8543-8545	Intervalo Temporal e' uma instancia de Intervalo Temporal apos Intervalo Temporal e' igual a o intervalo entre o fim de Intervalo Temporal e PositiveInfinity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8539-8541	Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal encontra apos Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8557-8559	Posicao Temporal e' uma instancia de Intervalo Temporal imediatemente apos Posicao Temporal comeca em apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12420-12440	Fisico e' uma instancia de AntiInflammatory Fisico tem por fim Entidade Entidade and EntidadeN Entidade e' uma instancia de Inflammation Entidade experimenta Entidade EntidadeN e' uma instancia de Ingerir o comeco de tempo de existencia de Entidade comeca antes de o comeco de tempo de existencia de EntidadeN Entidade2 Entidade2 e' uma instancia de Inflammation Entidade experimenta Entidade2 vale durante apos tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22100-22108	Processo e' uma instancia de SuicideBombing AutonomousAgent Processo e' um agente de AutonomousAgent Dead e' um atributo de AutonomousAgent vale durante apos tempo de existencia de Processo

statement

No TPTP formula. May not be expressible in strict first order.	Media.kif 2501-2504	Serbia e' uma instancia de EuropeanNation Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Media.kif 2496-2499	Serbia e' uma instancia de IndependentState Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Media.kif 2506-2509	Serbia se chama nome "Republic of Serbia" Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Media.kif 2528-2531	Posicao Temporal e' uma instancia de o dia 3 Montenegro e' uma instancia de EuropeanNation vale durante apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Media.kif 2523-2526	Posicao Temporal e' uma instancia de o dia 3 Montenegro e' uma instancia de IndependentState vale durante apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Media.kif 2533-2536	Posicao Temporal e' uma instancia de o dia 3 Montenegro se chama nome "Montenegro" vale durante apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Media.kif 2546-2550	Posicao Temporal e' uma instancia de o dia 3 SerbiaAndMontenegro e' uma instancia de IndependentState vale durante apos Posicao Temporal

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: