No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2520-2520 |
AAA-Rating e' uma instancia de FinancialRating |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2523-2523 |
B-Rating e' uma instancia de FinancialRating |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2526-2526 |
C-Rating e' uma instancia de FinancialRating |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2529-2529 |
D-Rating e' uma instancia de FinancialRating |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23792-23792 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23791-23791 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23790-23790 |
|