No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1024-1024 | 存款账户 是 金融账户 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1126-1126 | 支票账户 是 存款账户 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1144-1144 | 投资账户 是 存款账户 的 subclass |