BoilerTankAndShippingContainerManufacturing
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4388-4391 | |
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 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4408-4408 | Metal can box and other metal container light gauge manufacturing is a subattribute of boiler tank and shipping container manufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4401-4401 | Metal tank heavy gauge manufacturing is a subattribute of boiler tank and shipping container manufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4393-4393 | Power boiler and heat exchanger manufacturing is a subattribute of boiler tank and shipping container manufacturing |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11501-11501 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11500-11500 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11499-11499 |