No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 17-17 | 金融机构 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 21-21 | BankFinancialOrganization 是 金融机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 28-28 | 信用社 是 金融机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 35-35 | 储蓄和贷款 是 金融机构 的 subclass |