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