| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 992-992 | 个人账户 是 金融账户 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1002-1002 | 联名账户 是 个人账户 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3385-3385 | 个人退休账户 是 个人账户 的 subclass |
|
|