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	Le nombre 1 argument de maturityDate est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 632-632	Le nombre 2 argument de maturityDate est une instance de jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 629-629	maturityDate est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 630-630	maturityDate est une sous-relation 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 est une instance de ZeroCouponBond maturityDate AccountFn FinancialAsset and jour FinancialAssetHolder poss�de FinancialAsset principalAmount AccountFn FinancialAsset and nombre r�el unit� de mesure(s) agreementPeriod AccountFn FinancialAsset and interval temporel interestEarned AccountFn FinancialAsset, nombre r�el unit� de mesure(s) and interval temporel nombre r�el est nombre r�el + nombre r�el) financial transaction financial transaction est une instance de Payment financial transaction aboutit � FinancialAssetHolder financial transaction a pour origine AccountFn FinancialAsset transactionAmount financial transaction and nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1087-1099	FinancialAccount est une instance de CertificateOfDeposit maturityDate FinancialAccount and jour processus est une instance de Withdrawal processus a pour origine CurrencyFn FinancialAccount la date de processus est jour la fin de jour se produit avant le d�but de jour processus processus est une instance de Penalty processus aboutit � CurrencyFn FinancialAccount processus cause processus
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1411-1421	Loan est une instance de BalloonLoan maturityDate Loan and jour totalBalance Loan and mesure de devise borrower Loan and agent cognitif agent cognitif est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1596-1601	FinancialAccount est une instance de SinglePaymentLoan principalAmount FinancialAccount and mesure de devise maturityDate FinancialAccount and jour amountDue FinancialAccount, mesure de devise and jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 636-640	maturityDate FinancialAccount and jour principalAmount FinancialAccount and mesure de devise amountDue FinancialAccount, mesure de devise and jour

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 642-646	agreementPeriod FinancialAccount and interval temporel jour finit interval temporel maturityDate FinancialAccount and jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1109-1113	FinancialAccount est une instance de TraditionalSavingsAccount jour maturityDate FinancialAccount and jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2265-2268	FinancialAccount est une instance de Bond jour maturityDate FinancialAccount and jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1082-1085	FinancialAccount est une instance de CertificateOfDeposit jour maturityDate FinancialAccount and jour

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