Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FinancialRating(financial rating) |  | bond_rating |
| appearance as argument number 1 |
|
|
| (subclass FinancialRating RelationalAttribute) | FinancialOntology.kif 2537-2537 | Financial rating is a subclass of relational attribute |
| (documentation FinancialRating EnglishLanguage "The highest rating is usually AAA_Rating, and the lowest is D_Rating.") | FinancialOntology.kif 2538-2539 | Financial rating is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain creditRanking 2 FinancialRating) | FinancialOntology.kif 2544-2544 | The number 2 argument of credit ranking is an instance of financial rating |
| (domain bondRating 2 FinancialRating) | FinancialOntology.kif 2554-2554 | The number 2 argument of bond rating is an instance of financial rating |
|