| 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. | FinancialOntology.kif 1054-1054 | 子類 貨幣市場 and 儲蓄賬戶 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1067-1067 | 子類 國庫券 and 儲蓄賬戶 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1075-1075 | 子類 存款證 and 儲蓄賬戶 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1101-1101 | 子類 傳統儲蓄賬戶 and 儲蓄賬戶 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3384-3384 | 子類 個人退休賬戶 and 儲蓄賬戶 |
|
|