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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FabricatedMetalProductManufacturing

Sigma KEE - FabricatedMetalProductManufacturing
FabricatedMetalProductManufacturing(fabricated metal product manufacturing)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4221-4223
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10988-10988
No TPTP formula. May not be expressible in strict first order. naics.kif 4219-4219 Fabricated metal product manufacturing is an instance of industry attribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6146-6146 Miscellaneous manufacturing is disjoint from fabricated metal product manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4323-4323 Architectural and structural metals manufacturing is a subattribute of fabricated metal product manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4386-4386 Boiler tank and shipping container manufacturing is a subattribute of fabricated metal product manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4497-4497 Coating engraving heat treating and allied activities is a subattribute of fabricated metal product manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4289-4289 Cutlery and handtool manufacturing is a subattribute of fabricated metal product manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4243-4243 Forging and stamping is a subattribute of fabricated metal product manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4428-4428 Hardware manufacturing is a subattribute of fabricated metal product manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4462-4462 Machine shops turned product and screw nut and bolt manufacturing is a subattribute of fabricated metal product manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4528-4528 Other fabricated metal product manufacturing is a subattribute of fabricated metal product manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4434-4434 Spring and wire product manufacturing is a subattribute of fabricated metal product manufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23062-23062
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23061-23061
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23060-23060

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 4225-4241


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