TreeView Knowledge Base Browser - HealthInsuranceCompany

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 7155-7156
(subclass HealthInsuranceCompany InsuranceCompany)	Mid-level-ontology.kif 7154-7154	HealthInsuranceCompany è una sottoclasse di InsuranceCompany

appearance as argument number 2

(instance Aetna HealthInsuranceCompany)	Medicine.kif 5556-5556	Aetna è un' istanza di HealthInsuranceCompany
(instance AnthemInc HealthInsuranceCompany)	Medicine.kif 5567-5567	AnthemInc è un' istanza di HealthInsuranceCompany
(instance CIGNA HealthInsuranceCompany)	Medicine.kif 5582-5582	CIGNA è un' istanza di HealthInsuranceCompany
(instance CVS HealthInsuranceCompany)	Medicine.kif 5576-5576	CVS è un' istanza di HealthInsuranceCompany
(instance CenteneCorporation HealthInsuranceCompany)	Medicine.kif 5570-5570	CenteneCorporation è un' istanza di HealthInsuranceCompany
(instance HealthCareServiceCorporation HealthInsuranceCompany)	Medicine.kif 5579-5579	HealthCareServiceCorporation è un' istanza di HealthInsuranceCompany
(instance Humana HealthInsuranceCompany)	Medicine.kif 5573-5573	Humana è un' istanza di HealthInsuranceCompany
(instance IndependenceHealthGroup HealthInsuranceCompany)	Medicine.kif 5588-5588	IndependenceHealthGroup è un' istanza di HealthInsuranceCompany
(instance KaiserFoundation HealthInsuranceCompany)	Medicine.kif 5564-5564	KaiserFoundation è un' istanza di HealthInsuranceCompany
(instance MolinaHealthcare HealthInsuranceCompany)	Medicine.kif 5585-5585	MolinaHealthcare è un' istanza di HealthInsuranceCompany
(instance UnitedHealth HealthInsuranceCompany)	Medicine.kif 5561-5561	UnitedHealth è un' istanza di 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 7158-7171