Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| bondRating |
| appearance as argument number 1 |
|
| (subrelation bondRating attribute) | FinancialOntology.kif 2551-2551 | bond rating is a subrelation of attribute |
| (instance bondRating BinaryPredicate) | FinancialOntology.kif 2552-2552 | bond rating is an instance of binary predicate |
| (domain bondRating 1 Bond) | FinancialOntology.kif 2553-2553 | The number 1 argument of bond rating is an instance of bond |
| (domain bondRating 2 FinancialRating) | FinancialOntology.kif 2554-2554 | The number 2 argument of bond rating is an instance of financial rating |
| (documentation bondRating EnglishLanguage "A measure of the quality and safety of a bond, based on the issuer's financial condition. More specifically, an evaluation from a rating service indicating the likelihood that a debt issuer will be able to meet scheduled interest and principal repayments. Typically, AAA is highest (best), and D is lowest (worst).") | FinancialOntology.kif 2555-2559 | The number 2 argument of bond rating is an instance of financial rating |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage bondRating "the rating of %1 is %2") | domainEnglishFormat.kif 2900-2900 | |
| (format ChineseTraditionalLanguage bondRating "%1 的 rating 是 %2 ") | domainEnglishFormat.kif 2901-2901 | |
| (format ChineseLanguage bondRating "%1 的 rating 是 %2 ") | domainEnglishFormat.kif 2902-2902 | |
| (termFormat EnglishLanguage bondRating "bond rating") | domainEnglishFormat.kif 11597-11597 | |
| (termFormat ChineseTraditionalLanguage bondRating "債券評級") | domainEnglishFormat.kif 11598-11598 | |
| (termFormat ChineseLanguage bondRating "债券评级") | domainEnglishFormat.kif 11599-11599 |
| consequent |
|
|
| (=> (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 |
| (=> (instance ?Bond GovernmentBond) (bondRating ?Bond AAA_Rating)) |
FinancialOntology.kif 2489-2491 | If X is an instance of government bond, then the rating of X is AAA-Rating |
|