RadioStation
|
|
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 52025-52025 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52024-52024 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52023-52023 |