Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass Bond Investment) | FinancialOntology.kif 2299-2299 | Bond is a subclass of investment |
| (subclass Bond FinancialInstrument) | FinancialOntology.kif 2300-2300 | Bond is a subclass of financial instrument |
| (documentation Bond EnglishLanguage "A debt instrument issued for a period of more than one year with the purpose of raising capital by borrowing. The Federal government, states, cities, corporations, and many other types of institutions sell bonds. A bond is generally a promise to repay the principal along with interest on a specified maturityDate.") | FinancialOntology.kif 2301-2304 | Bond is a subclass of financial instrument |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain couponInterest 1 Bond) | FinancialOntology.kif 2328-2328 | The number 1 argument of coupon interest is an instance of bond |
| (domain accruedInterest 1 Bond) | FinancialOntology.kif 2334-2334 | The number 1 argument of accrued interest is an instance of bond |
| (domain callDate 1 Bond) | FinancialOntology.kif 2525-2525 | The number 1 argument of call date is an instance of bond |
| (domain bondRating 1 Bond) | FinancialOntology.kif 2553-2553 | The number 1 argument of bond rating is an instance of bond |
| antecedent |
|
|
| (=> (instance ?Bond Bond) (exists (?Date) (maturityDate ?Bond ?Date))) |
FinancialOntology.kif 2306-2309 | If X is an instance of bond, then there exists Y such that Y is a maturity date of X |
| (=> (and (instance ?Bond Bond) (couponInterest ?Bond ?Interest) (possesses ?BondHolder ?Bond)) (exists (?Period ?Payment) (and (periodicPayment (AccountFn ?Bond) ?Interest ?Period) (destination ?Payment ?BondHolder)))) |
FinancialOntology.kif 2311-2319 | If X is an instance of bond, Y is a coupon interest of X, and Z possesses X, then there exist W, V such that the account of X is periodic payment Y for W, and V ends up at Z |
|