Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ZeroCouponBond
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ZeroCouponBond Bond) | FinancialOntology.kif 2369-2369 | Zero coupon bond is a subclass of bond |
| (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 2370-2372 | Zero coupon bond is a subclass of bond |
| appearance as argument number 2 |
|
|
| 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 2374-2396 | If All of the following hold: (1) X is an instance of zero coupon bond (2) Y is a maturity date of the account of X (3) Z possesses X (4) W V(s) is a principal amount of the account of X (5) U is an agreement period of the account of X (6) the account of X is interest earned T V(s) for U (7) equal S and (W and T), then there exists R such that R is an instance of payment and R ends up at Z and R originates at the account of X and S V(s) is a transaction amount of R |
|