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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HealthAndPersonalCareStores

Sigma KEE - HealthAndPersonalCareStores
HealthAndPersonalCareStores

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 HealthAndPersonalCareStores e' uma instancia de IndustryAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7430-7430 CosmeticsBeautySuppliesAndPerfumeStores e' um sub-atributo de HealthAndPersonalCareStores
No TPTP formula. May not be expressible in strict first order. naics.kif 7438-7438 OpticalGoodsStores e' um sub-atributo de HealthAndPersonalCareStores
No TPTP formula. May not be expressible in strict first order. naics.kif 7445-7445 OtherHealthAndPersonalCareStores e' um sub-atributo de HealthAndPersonalCareStores
No TPTP formula. May not be expressible in strict first order. naics.kif 7423-7423 PharmaciesAndDrugStores e' um sub-atributo de HealthAndPersonalCareStores
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