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 633-634 | |
(domain maturityDate 1 FinancialAccount) | FinancialOntology.kif 631-631 | 成人礼 的 1 数量 是 金融账户 的 instance |
(domain maturityDate 2 Day) | FinancialOntology.kif 632-632 | 成人礼 的 2 数量 是 日 的 instance |
(instance maturityDate BinaryPredicate) | FinancialOntology.kif 629-629 | 成人礼 是 二元谓语 的 instance |
(subrelation maturityDate agreementExpirationDate) | FinancialOntology.kif 630-630 | 成人礼 是 截止日期 的 subrelation |
appearance as argument number 2 |
(format ChineseLanguage maturityDate "%2 %n 是 %1 的 maturity 日期") | domainEnglishFormat.kif 1643-1643 | |
(format ChineseTraditionalLanguage maturityDate "%2 %n 是 %1 的 maturity 日期") | domainEnglishFormat.kif 1642-1642 | |
(format EnglishLanguage maturityDate "%2 is %n a maturity date of %1") | domainEnglishFormat.kif 1641-1641 | |
(termFormat ChineseLanguage maturityDate "成人礼") | domainEnglishFormat.kif 36539-36539 | |
(termFormat ChineseTraditionalLanguage maturityDate "成人禮") | domainEnglishFormat.kif 36538-36538 | |
(termFormat EnglishLanguage maturityDate "maturity date") | domainEnglishFormat.kif 36537-36537 |
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 2333-2355 |
|
(=> (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 1087-1099 | |
(=> (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 1411-1421 | |
(=> (and (instance ?Loan SinglePaymentLoan) (principalAmount ?Loan ?Principal) (maturityDate ?Loan ?Maturity)) (amountDue ?Loan ?Principal ?Maturity)) |
FinancialOntology.kif 1596-1601 | |
(=> (and (maturityDate ?Account ?Date) (principalAmount ?Account ?Principal)) (amountDue ?Account ?Principal ?Date)) |
FinancialOntology.kif 636-640 |
consequent |
(<=> (and (agreementPeriod ?Account ?Period) (finishes ?End ?Period)) (maturityDate ?Account ?End)) |
FinancialOntology.kif 642-646 | 时距 是 金融账户 的 agreement 週期 和 日 finishes了才到 那个 时距 若且唯若 那个 日 是 那个 金融账户 的 maturity 日期 |
(=> (instance ?Account TraditionalSavingsAccount) (not (exists (?Date) (maturityDate ?Account ?Date)))) |
FinancialOntology.kif 1109-1113 | |
(=> (instance ?Bond Bond) (exists (?Date) (maturityDate ?Bond ?Date))) |
FinancialOntology.kif 2265-2268 | |
(=> (instance ?CD CertificateOfDeposit) (exists (?Date) (maturityDate ?CD ?Date))) |
FinancialOntology.kif 1082-1085 |