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 | BoilerTankAndShippingContainerManufacturing est un sous-attribut de FabricatedMetalProductManufacturing |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4408-4408 | MetalCanBoxAndOtherMetalContainerLightGaugeManufacturing est un sous-attribut de BoilerTankAndShippingContainerManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4401-4401 | MetalTankHeavyGaugeManufacturing est un sous-attribut de BoilerTankAndShippingContainerManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4393-4393 | PowerBoilerAndHeatExchangerManufacturing est un sous-attribut de BoilerTankAndShippingContainerManufacturing |
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 |