| (subclass FinancialOrganization Organization) | FinancialOntology.kif 17-17 | FinancialOrganization は 組織 の subclass では %n |
| (subclass BankFinancialOrganization FinancialOrganization) | FinancialOntology.kif 21-21 | BankFinancialOrganization は FinancialOrganization の subclass では %n |
| (subclass CreditUnion FinancialOrganization) | FinancialOntology.kif 28-28 | CreditUnion は FinancialOrganization の subclass では %n |
| (subclass SavingsAndLoans FinancialOrganization) | FinancialOntology.kif 35-35 | SavingsAndLoans は FinancialOrganization の subclass では %n |
|
|