| FinancialRating(financial rating) | | bond_rating |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2511-2512 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2510-2510 | Financial rating is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2534-2534 | AAA_Rating is an instance of financial rating |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2537-2537 | B- rating is an instance of financial rating |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2540-2540 | C- rating is an instance of financial rating |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2543-2543 | D- rating is an instance of financial rating |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23808-23808 | D- rating is an instance of financial rating |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23807-23807 | D- rating is an instance of financial rating |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23806-23806 | D- rating is an instance of financial rating |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2527-2527 | The number 2 argument of bond rating is an instance of financial rating |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2517-2517 | The number 2 argument of credit ranking is an instance of financial rating |
|
|
|