| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 992-992 | 子類 個人賬戶 and 金融賬戶 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1002-1002 | 子類 聯名賬戶 and 個人賬戶 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3385-3385 | 子類 個人退休賬戶 and 個人賬戶 |
|
|