AAA-Rating |
appearance as argument number 1 |
(documentation AAA-Rating EnglishLanguage "The highest rating given by bond rating agencies") | FinancialOntology.kif 2521-2521 | |
(instance AAA-Rating FinancialRating) | FinancialOntology.kif 2520-2520 | AAA-Rating è un' istanza di FinancialRating |
appearance as argument number 2 |
(termFormat ChineseLanguage AAA-Rating "AAA评级") | domainEnglishFormat.kif 5014-5014 | |
(termFormat ChineseTraditionalLanguage AAA-Rating "AAA評級") | domainEnglishFormat.kif 5013-5013 | |
(termFormat EnglishLanguage AAA-Rating "AAA-rating") | domainEnglishFormat.kif 5012-5012 |
consequent |
(=> (instance ?Bond GovernmentBond) (bondRating ?Bond AAA-Rating)) |
FinancialOntology.kif 2448-2450 |
|