TreeView Knowledge Base Browser - maturityDate

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - maturityDate

maturityDate

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 633-634
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 631-631	O argumento numero 1 de maturityDate e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 632-632	O argumento numero 2 de maturityDate e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 629-629	maturityDate e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 630-630	maturityDate e' uma sub-relacao de agreementExpirationDate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1643-1643
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1642-1642
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1641-1641
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36539-36539
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36538-36538
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36537-36537

antecedent

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 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 1411-1421	Loan e' uma instancia de BalloonLoan maturityDate Loan and Dia totalBalance Loan and Medida de Divisa borrower Loan and Agente Cognitivo 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 1596-1601	FinancialAccount e' uma instancia de SinglePaymentLoan principalAmount FinancialAccount and Medida de Divisa maturityDate FinancialAccount and Dia amountDue FinancialAccount, Medida de Divisa and Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 636-640	maturityDate FinancialAccount and Dia principalAmount FinancialAccount and Medida de Divisa amountDue FinancialAccount, Medida de Divisa and Dia

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 642-646	agreementPeriod FinancialAccount and Intervalo Temporal Dia termina em Intervalo Temporal maturityDate FinancialAccount and Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1109-1113	FinancialAccount e' uma instancia de TraditionalSavingsAccount Dia maturityDate FinancialAccount and Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2265-2268	FinancialAccount e' uma instancia de Bond Dia maturityDate FinancialAccount and Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1082-1085	FinancialAccount e' uma instancia de CertificateOfDeposit Dia maturityDate FinancialAccount and Dia

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