TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 456-457
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9842-9842
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9843-9843
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8804-8804
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 455-455	Withdrawal e' uma sub-classe de Transacao Financeira

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 427-427	Deposit e' disjunto de Withdrawal
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63267-63267
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63266-63266
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63265-63265

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1818-1828	Processo e' uma instancia de Withdrawal FinancialAccount e' uma instancia de FinancialAccount Processo tem como origem CurrencyFn FinancialAccount Processo Processo e' uma instancia de Penalty Processo termina em CurrencyFn FinancialAccount Processo causa Processo liquidity FinancialAccount and HighLiquidity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1115-1124	FinancialAccount e' uma instancia de TraditionalSavingsAccount Processo e' uma instancia de Withdrawal Processo tem como origem CurrencyFn FinancialAccount Processo Processo e' uma instancia de Penalty Processo termina em CurrencyFn FinancialAccount Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1087-1099	FinancialAccount e' uma instancia de CertificateOfDeposit maturityDate FinancialAccount and Dia Processo e' uma instancia de Withdrawal Processo tem como origem CurrencyFn FinancialAccount a data de Processo e' Dia o fim de Dia comeca antes de o comeco de Dia Processo Processo e' uma instancia de Penalty Processo termina em CurrencyFn FinancialAccount Processo causa 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.	FinancialOntology.kif 459-464	Processo e' uma instancia de Withdrawal FinancialAccount FinancialAccount e' uma instancia de FinancialAccount Processo tem como origem CurrencyFn FinancialAccount

consequent

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

FinancialOntology.kif 104-118

O valor de Check e' Medida de Divisa checkAccount Check and FinancialAccount Processo e' uma instancia de ProcessingACheck Check e' um patient de Processo tempo de existencia de Processo e' igual a ProcessoTime
Transacao Financeira Transacao FinanceiraTime Transacao Financeira e' uma instancia de Withdrawal Check e' um instrumento para Transacao Financeira tempo de existencia de Transacao Financeira e' igual a Transacao FinanceiraTime ProcessoTime encontra Transacao FinanceiraTime transactionAmount Transacao Financeira and Medida de Divisa Transacao Financeira tem como origem FinancialAccount

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

KB Term:			Term intersection

English Word: