Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HealthInsuranceCompany
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners