ElectronTubeManufacturing - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 5231-5233
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9997-9997
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10916-10916
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10917-10917
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10918-10918
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10919-10919
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10920-10920
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10921-10921
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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21768-21768
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21767-21767
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21766-21766