HealthInsuranceCompany |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7183-7184 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7182-7182 | HealthInsuranceCompany est une sous-classe de InsuranceCompany |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5556-5556 | Aetna est une instance de HealthInsuranceCompany |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5567-5567 | AnthemInc est une instance de HealthInsuranceCompany |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5582-5582 | CIGNA est une instance de HealthInsuranceCompany |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5576-5576 | CVS est une instance de HealthInsuranceCompany |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5570-5570 | CenteneCorporation est une instance de HealthInsuranceCompany |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5579-5579 | HealthCareServiceCorporation est une instance de HealthInsuranceCompany |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5573-5573 | Humana est une instance de HealthInsuranceCompany |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5588-5588 | IndependenceHealthGroup est une instance de HealthInsuranceCompany |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5564-5564 | KaiserFoundation est une instance de HealthInsuranceCompany |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5585-5585 | MolinaHealthcare est une instance de HealthInsuranceCompany |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5561-5561 | UnitedHealth est une instance de HealthInsuranceCompany |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64973-64973 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7186-7199 |
|