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 e' uma sub-classe de InsuranceCompany

appearance as argument number 2

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