HealthInsuranceCompany(health insurance company) |
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 8336-8337 | |
(subclass HealthInsuranceCompany InsuranceCompany) | Mid-level-ontology.kif 8335-8335 | Health insurance company is a subclass of insurance company |
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 8339-8352 |
|
![]() |
![]() |