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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SemiconductorAndOtherElectronicComponentManufacturing

Sigma KEE - SemiconductorAndOtherElectronicComponentManufacturing
SemiconductorAndOtherElectronicComponentManufacturing(semiconductor and other electronic component manufacturing)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5224-5227
No TPTP formula. May not be expressible in strict first order. naics.kif 5222-5222 Semiconductor and other electronic component manufacturing is a subattribute of computer and electronic product manufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5235-5235 Bare printed circuit board manufacturing is a subattribute of semiconductor and other electronic component manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5229-5229 Electron tube manufacturing is a subattribute of semiconductor and other electronic component manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5249-5249 Electronic capacitor manufacturing is a subattribute of semiconductor and other electronic component manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5263-5263 Electronic coil transformer and other inductor manufacturing is a subattribute of semiconductor and other electronic component manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5271-5271 Electronic connector manufacturing is a subattribute of semiconductor and other electronic component manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5256-5256 Electronic resistor manufacturing is a subattribute of semiconductor and other electronic component manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5286-5286 Other electronic component manufacturing is a subattribute of semiconductor and other electronic component manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5278-5278 Printed circuit assembly electronic assembly manufacturing is a subattribute of semiconductor and other electronic component manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5242-5242 Semiconductor and related device manufacturing is a subattribute of semiconductor and other electronic component manufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52023-52023
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52022-52022
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52021-52021


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