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