No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 308-308 | 使用帐户 是 金融交易 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 318-318 | 画一张支票 是 使用帐户 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 329-329 | 存款支票 是 使用帐户 的 subclass |