No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2520-2520 |
例 AAA評級 and 財務評級 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2523-2523 |
例 b-評級 and 財務評級 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2526-2526 |
例 c-評級 and 財務評級 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2529-2529 |
例 d-評級 and 財務評級 |
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 |
|