| 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 is an instance of financial rating |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AAA-Rating "AAA评级") | domainEnglishFormat.kif 5018-5018 | |
| (termFormat ChineseTraditionalLanguage AAA-Rating "AAA評級") | domainEnglishFormat.kif 5017-5017 | |
| (termFormat EnglishLanguage AAA-Rating "AAA-rating") | domainEnglishFormat.kif 5016-5016 |
| consequent |
|
|
| (=> (instance ?Bond GovernmentBond) (bondRating ?Bond AAA-Rating)) |
FinancialOntology.kif 2448-2450 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners