HealthInsuranceCompany - Sigma Knowledge base Browser

appearance as argument number 1

(documentation HealthInsuranceCompany EnglishLanguage "A Business that insures Agents against health care costs for the payment of a premium or premiums.")	Mid-level-ontology.kif 7156-7157
(subclass HealthInsuranceCompany InsuranceCompany)	Mid-level-ontology.kif 7155-7155	HealthInsuranceCompany 是保险公司的 subclass

appearance as argument number 2

(instance Aetna HealthInsuranceCompany)	Medicine.kif 5556-5556	Aetna 是 HealthInsuranceCompany 的 instance
(instance AnthemInc HealthInsuranceCompany)	Medicine.kif 5567-5567	AnthemInc 是 HealthInsuranceCompany 的 instance
(instance CIGNA HealthInsuranceCompany)	Medicine.kif 5582-5582	CIGNA 是 HealthInsuranceCompany 的 instance
(instance CVS HealthInsuranceCompany)	Medicine.kif 5576-5576	CVS 是 HealthInsuranceCompany 的 instance
(instance CenteneCorporation HealthInsuranceCompany)	Medicine.kif 5570-5570	CenteneCorporation 是 HealthInsuranceCompany 的 instance
(instance HealthCareServiceCorporation HealthInsuranceCompany)	Medicine.kif 5579-5579	HealthCareServiceCorporation 是 HealthInsuranceCompany 的 instance
(instance Humana HealthInsuranceCompany)	Medicine.kif 5573-5573	Humana 是 HealthInsuranceCompany 的 instance
(instance IndependenceHealthGroup HealthInsuranceCompany)	Medicine.kif 5588-5588	IndependenceHealthGroup 是 HealthInsuranceCompany 的 instance
(instance KaiserFoundation HealthInsuranceCompany)	Medicine.kif 5564-5564	KaiserFoundation 是 HealthInsuranceCompany 的 instance
(instance MolinaHealthcare HealthInsuranceCompany)	Medicine.kif 5585-5585	MolinaHealthcare 是 HealthInsuranceCompany 的 instance
(instance UnitedHealth HealthInsuranceCompany)	Medicine.kif 5561-5561	UnitedHealth 是 HealthInsuranceCompany 的 instance
(termFormat EnglishLanguage HealthInsuranceCompany "health insurance company")	domainEnglishFormat.kif 64971-64971

antecedent

(=>
    (and
        (instance ?I HealthInsuranceCompany)
        (customer ?I ?C))
    (hasPurposeForAgent ?I
        (exists (?D ?P)
            (and
                (or
                    (instance ?D DiagnosticProcess)
                    (instance ?D TherapeuticProcess))
                (experiencer ?D ?C)
                (instance ?P Payment)
                (agent ?P ?I)
                (refers ?P ?D))) ?C))

Mid-level-ontology.kif 7159-7172