B-Rating(b-評級) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2524-2524 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2523-2523 | 例 b-評級 and 財務評級 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9474-9474 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9473-9473 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9472-9472 |