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 est une sous-classe de InsuranceCompany

appearance as argument number 2

(instance Aetna HealthInsuranceCompany)	Medicine.kif 5556-5556	Aetna est une instance de HealthInsuranceCompany
(instance AnthemInc HealthInsuranceCompany)	Medicine.kif 5567-5567	AnthemInc est une instance de HealthInsuranceCompany
(instance CIGNA HealthInsuranceCompany)	Medicine.kif 5582-5582	CIGNA est une instance de HealthInsuranceCompany
(instance CVS HealthInsuranceCompany)	Medicine.kif 5576-5576	CVS est une instance de HealthInsuranceCompany
(instance CenteneCorporation HealthInsuranceCompany)	Medicine.kif 5570-5570	CenteneCorporation est une instance de HealthInsuranceCompany
(instance HealthCareServiceCorporation HealthInsuranceCompany)	Medicine.kif 5579-5579	HealthCareServiceCorporation est une instance de HealthInsuranceCompany
(instance Humana HealthInsuranceCompany)	Medicine.kif 5573-5573	Humana est une instance de HealthInsuranceCompany
(instance IndependenceHealthGroup HealthInsuranceCompany)	Medicine.kif 5588-5588	IndependenceHealthGroup est une instance de HealthInsuranceCompany
(instance KaiserFoundation HealthInsuranceCompany)	Medicine.kif 5564-5564	KaiserFoundation est une instance de HealthInsuranceCompany
(instance MolinaHealthcare HealthInsuranceCompany)	Medicine.kif 5585-5585	MolinaHealthcare est une instance de HealthInsuranceCompany
(instance UnitedHealth HealthInsuranceCompany)	Medicine.kif 5561-5561	UnitedHealth est une instance de HealthInsuranceCompany
(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