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 ist eine teilkategorie von InsuranceCompany |
appearance as argument number 2 |
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 |
|