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 子屬性 其他健康和個人護理商店 and 健康和個人護理店

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7458-7458 子屬性 所有其他健康和個人護理商店 and 其他健康和個人護理商店
No TPTP formula. May not be expressible in strict first order. naics.kif 7451-7451 子屬性 食品保健品店 and 其他健康和個人護理商店
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