Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| JunkBond(junk bond) |  | high-yield_bond, junk_bond |
| appearance as argument number 1 |
|
|
| (subclass JunkBond CorporateBond) | FinancialOntology.kif 2454-2454 | Junk bond is a subclass of corporate bond |
| (documentation JunkBond EnglishLanguage "A high_risk, non_investment_grade bond with a low credit rating, usually BB or lower, as a consequence, it usually has a high yield.") | FinancialOntology.kif 2455-2457 | Junk bond is a subclass of corporate bond |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?Bond JunkBond) (riskLevel ?Bond HighRisk)) |
FinancialOntology.kif 2459-2461 | If X is an instance of junk bond, then the risk level of X is high risk |
| (=> (instance ?Bond JunkBond) (yieldLevel ?Bond HighYield)) |
FinancialOntology.kif 2463-2465 | If X is an instance of junk bond, then X has yield high yield |
| (=> (instance ?Bond JunkBond) (bondRating ?Bond D_Rating)) |
FinancialOntology.kif 2467-2469 | If X is an instance of junk bond, then the rating of X is d rating |
|