maturityDate - Sigma Knowledge base Browser

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

(documentation maturityDate EnglishLanguage "The date on which the principal amount of the account becomes due and payable.")	FinancialOntology.kif 635-636
(domain maturityDate 1 FinancialAccount)	FinancialOntology.kif 633-633	The number 1 argument of maturity date is an instance of financial account
(domain maturityDate 2 Day)	FinancialOntology.kif 634-634	The number 2 argument of maturity date is an instance of day
(instance maturityDate BinaryPredicate)	FinancialOntology.kif 631-631	maturity date is an instance of binary predicate
(subrelation maturityDate agreementExpirationDate)	FinancialOntology.kif 632-632	maturity date is a subrelation of expiration date

appearance as argument number 2

(format ChineseLanguage maturityDate "%2 %n 是 %1 的 maturity 日期")	domainEnglishFormat.kif 1647-1647
(format ChineseTraditionalLanguage maturityDate "%2 %n 是 %1 的 maturity 日期")	domainEnglishFormat.kif 1646-1646
(format EnglishLanguage maturityDate "%2 is %n a maturity date of %1")	domainEnglishFormat.kif 1645-1645
(termFormat ChineseLanguage maturityDate "成人礼")	domainEnglishFormat.kif 36565-36565
(termFormat ChineseTraditionalLanguage maturityDate "成人禮")	domainEnglishFormat.kif 36564-36564
(termFormat EnglishLanguage maturityDate "maturity date")	domainEnglishFormat.kif 36563-36563

antecedent

(=> (and (instance ?Bond ZeroCouponBond) (maturityDate (AccountFn ?Bond) ?Date) (possesses ?BondHolder ?Bond) (principalAmount (AccountFn ?Bond) (MeasureFn ?Principal ?CUNIT)) (agreementPeriod (AccountFn ?Bond) ?Period) (interestEarned (AccountFn ?Bond) (MeasureFn ?Interest ?CUNIT) ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (exists (?Payment) (and (instance ?Payment Payment) (destination ?Payment ?BondHolder) (origin ?Payment (AccountFn ?Bond)) (transactionAmount ?Payment (MeasureFn ?Total ?CUNIT)))))	FinancialOntology.kif 2350-2372	If a financial asset is an instance of zero coupon bond and a day is a maturity date of the account of the financial asset and the financial assetHolder possesses the financial asset and a real number an unit of measure(s) is a principal amount of the account of the financial asset and a time interval is an agreement period of the account of the financial asset and the account of the financial asset is interest earned another real number the unit of measure(s) for the time interval and a third real number is equal to (the real number and the other real number), then there exists a financial transaction such that the financial transaction is an instance of payment and the financial transaction ends up at the financial assetHolder and the financial transaction originates at the account of the financial asset and the third real number the unit of measure(s) is a transaction amount of the financial transaction
(=> (and (instance ?CD CertificateOfDeposit) (maturityDate ?CD ?MaturityDate) (instance ?Withdrawal Withdrawal) (origin ?Withdrawal (CurrencyFn ?CD)) (date ?Withdrawal ?DateOfWithdrawal) (before (EndFn ?DateOfWithdrawal) (BeginFn ?MaturityDate))) (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?CD)) (causes ?Withdrawal ?Penalty))))	FinancialOntology.kif 1089-1101	If a financial account is an instance of certificate of deposit and a day is a maturity date of the financial account and a process is an instance of withdrawing from an account and the process originates at the currency of the financial account and date of the process is another day and the end of the other day happens before the beginning of the day, then there exists another process such that the other process is an instance of penalizing and the other process ends up at the currency of the financial account and the process causes the other process
(=> (and (instance ?Loan BalloonLoan) (maturityDate ?Loan ?Date) (totalBalance ?Loan ?Amount) (borrower ?Loan ?Agent)) (holdsObligation (KappaFn ?Payment (and (date ?Payment ?Date) (transactionAmount ?Payment ?Amount) (destination ?Payment (CurrencyFn ?Loan)))) ?Agent))	FinancialOntology.kif 1427-1437	If a loan is an instance of balloon loan and a day is a maturity date of the loan and a currency measure is a total balance of the loan and the loan is the borrower of a cognitive agent, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=> (and (instance ?Loan SinglePaymentLoan) (principalAmount ?Loan ?Principal) (maturityDate ?Loan ?Maturity)) (amountDue ?Loan ?Principal ?Maturity))	FinancialOntology.kif 1612-1617	If a financial account is an instance of single payment loan and a currency measure is a principal amount of the financial account and a day is a maturity date of the financial account, then the financial account amount due the currency measure for the day
(=> (and (maturityDate ?Account ?Date) (principalAmount ?Account ?Principal)) (amountDue ?Account ?Principal ?Date))	FinancialOntology.kif 638-642	If a day is a maturity date of a financial account and a currency measure is a principal amount of the financial account, then the financial account amount due the currency measure for the day

consequent

(<=> (and (agreementPeriod ?Account ?Period) (finishes ?End ?Period)) (maturityDate ?Account ?End))	FinancialOntology.kif 644-648	A time interval is an agreement period of a financial account and a day finishes the time interval if and only if the day is a maturity date of the financial account
(=> (instance ?Account TraditionalSavingsAccount) (not (exists (?Date) (maturityDate ?Account ?Date))))	FinancialOntology.kif 1111-1115	If a financial account is an instance of traditional savings account, then there doesn't exist a day such that the day is a maturity date of the financial account
(=> (instance ?Bond Bond) (exists (?Date) (maturityDate ?Bond ?Date)))	FinancialOntology.kif 2282-2285	If a financial account is an instance of bond, then there exists a day such that the day is a maturity date of the financial account
(=> (instance ?CD CertificateOfDeposit) (exists (?Date) (maturityDate ?CD ?Date)))	FinancialOntology.kif 1084-1087	If a financial account is an instance of certificate of deposit, then there exists a day such that the day is a maturity date of the financial account

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