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