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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FootwearManufacturing

Sigma KEE - FootwearManufacturing
FootwearManufacturing(footwear manufacturing)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2485-2487
No TPTP formula. May not be expressible in strict first order. Economy.kif 1749-1749 Shoe is an industry product type of footwear manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2483-2483 Footwear manufacturing is a subattribute of leather and allied product manufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2496-2496 House slipper manufacturing is a subattribute of footwear manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2502-2502 Mens footwear except athletic manufacturing is a subattribute of footwear manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2516-2516 Other footwear manufacturing is a subattribute of footwear manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2489-2489 Rubber and plastics footwear manufacturing is a subattribute of footwear manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2509-2509 Womens footwear except athletic manufacturing is a subattribute of footwear manufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24626-24626
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24625-24625
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24624-24624


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