Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AAA_Rating(AAA-Rating) |
| appearance as argument number 1 |
|
| (instance AAA_Rating FinancialRating) | FinancialOntology.kif 2561-2561 | AAA-Rating is an instance of financial rating |
| (documentation AAA_Rating EnglishLanguage "The highest rating given by bond rating agencies") | FinancialOntology.kif 2562-2562 | AAA-Rating is an instance of financial rating |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (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 |
|