| (subclass InsuranceCompany Business) | Mid-level-ontology.kif 8307-8307 | Insurance company is a subclass of business |
| (subclass HealthInsuranceCompany InsuranceCompany) | Mid-level-ontology.kif 8316-8316 | Health insurance company is a subclass of insurance company |
|
|