No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 986-986 |
可调利率账户 是 计息账户 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 976-976 |
固定利率账户 是 计息账户 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1028-1028 |
储蓄账户 是 计息账户 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30403-30403 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30402-30402 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30401-30401 |
|