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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ClothingStores

Sigma KEE - ClothingStores
ClothingStores(clothing stores)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7525-7527
No TPTP formula. May not be expressible in strict first order. naics.kif 7523-7523 Clothing stores is a subattribute of clothing and clothing accessories stores

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7542-7542 Childrens and infants clothing stores is a subattribute of clothing stores
No TPTP formula. May not be expressible in strict first order. naics.kif 7555-7555 Clothing accessories stores is a subattribute of clothing stores
No TPTP formula. May not be expressible in strict first order. naics.kif 7549-7549 Family clothing stores is a subattribute of clothing stores
No TPTP formula. May not be expressible in strict first order. naics.kif 7529-7529 Mens clothing stores is a subattribute of clothing stores
No TPTP formula. May not be expressible in strict first order. naics.kif 7562-7562 Other clothing stores is a subattribute of clothing stores
No TPTP formula. May not be expressible in strict first order. naics.kif 7536-7536 Womens clothing stores is a subattribute of clothing stores
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15276-15276
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15275-15275
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15274-15274


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