No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2520-2520 |
AAA-rating is an instance of financial rating |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2523-2523 |
B- rating is an instance of financial rating |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2526-2526 |
C- rating is an instance of financial rating |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2529-2529 |
D- rating is an instance of financial rating |
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 |
|