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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HealthAndPersonalCareStores

Sigma KEE - HealthAndPersonalCareStores
HealthAndPersonalCareStores(health and personal care stores)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 7417-7419
No TPTP formula. May not be expressible in strict first order. naics.kif 7415-7415 Health and personal care stores is an instance of industry attribute

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 7430-7430 Cosmetics beauty supplies and perfume stores is a subattribute of health and personal care stores
No TPTP formula. May not be expressible in strict first order. naics.kif 7438-7438 Optical goods stores is a subattribute of health and personal care stores
No TPTP formula. May not be expressible in strict first order. naics.kif 7445-7445 Other health and personal care stores is a subattribute of health and personal care stores
No TPTP formula. May not be expressible in strict first order. naics.kif 7423-7423 Pharmacies and drug stores is a subattribute of health and personal care stores
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27744-27744
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27743-27743
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27742-27742


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

Show without tree


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