| (subclass InsuranceCompany Business) | Mid-level-ontology.kif 7173-7173 | InsuranceCompany は Business の subclass では %n |
| (subclass HealthInsuranceCompany InsuranceCompany) | Mid-level-ontology.kif 7182-7182 | HealthInsuranceCompany は InsuranceCompany の subclass では %n |
|
|