No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 17-17 | Financial organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 21-21 | BankFinancialOrganization is a subclass of financial organization |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 28-28 | Credit union is a subclass of financial organization |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 35-35 | Savings and loans is a subclass of financial organization |