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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OtherHealthAndPersonalCareStores

Sigma KEE - OtherHealthAndPersonalCareStores
OtherHealthAndPersonalCareStores(其他健康和个人护理商店)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7447-7449
No TPTP formula. May not be expressible in strict first order. naics.kif 7445-7445 其他健康和个人护理商店健康和个人护理店subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7458-7458 所有其他健康和个人护理商店其他健康和个人护理商店subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 7451-7451 食品保健品店其他健康和个人护理商店subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43086-43086
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43085-43085
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43084-43084


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