No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 986-986 |
子類 可調利率賬戶 and 計息賬戶 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 976-976 |
子類 固定利率賬戶 and 計息賬戶 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1028-1028 |
子類 儲蓄賬戶 and 計息賬戶 |
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 |
|