|
|
  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 |
|
|
|