(subclass FinancialOrganization Organization) | FinancialOntology.kif 17-17 | Financial organization is a subclass of organization |
(subclass BankFinancialOrganization FinancialOrganization) | FinancialOntology.kif 21-21 | BankFinancialOrganization is a subclass of financial organization |
(subclass CreditUnion FinancialOrganization) | FinancialOntology.kif 28-28 | Credit union is a subclass of financial organization |
(subclass SavingsAndLoans FinancialOrganization) | FinancialOntology.kif 35-35 | Savings and loans is a subclass of financial organization |