B-Rating |
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-Rating e' uma instancia de FinancialRating |
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 |