| ZeroCouponBond | |
| appearance as argument number 1 |
|
|
| (documentation ZeroCouponBond EnglishLanguage "A bond in which no periodic coupon is paid over the life of the contract. Instead, both the principal and the interest are paid at the maturity date.") | FinancialOntology.kif 2260-2262 | |
| (subclass ZeroCouponBond Bond) | FinancialOntology.kif 2259-2259 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ZeroCouponBond "zero coupon bond") | domainEnglishFormat.kif 11119-11119 |
| antecedent |
|
|
| (=> (and (instance ?Bond ZeroCouponBond) (maturityDate (AccountFn ?Bond) ?Date) (possesses ?BondHolder ?Bond) (principalAmount (AccountFn ?Bond) ?Principal) (agreementPeriod (AccountFn ?Bond) ?Period) (interestEarned (AccountFn ?Bond) ?Interest ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (exists (?Payment) (and (instance ?Payment Payment) (destination ?Payment ?BondHolder) (origin ?Payment (CurrencyFn ?BondAccount)) (transactionAmount ?Payment ?Total)))) |
FinancialOntology.kif 2264-2278 |
|
|
|