|
|
  AllOtherFabricatedMetalProductManufacturing
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4571-4573 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4569-4569 | AllOtherFabricatedMetalProductManufacturing e' um sub-atributo de OtherFabricatedMetalProductManufacturing |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4630-4630 | AllOtherMiscellaneousFabricatedMetalProductManufacturing e' um sub-atributo de AllOtherFabricatedMetalProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4589-4589 | AmmunitionExceptSmallArmsManufacturing e' um sub-atributo de AllOtherFabricatedMetalProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4575-4575 | BallAndRollerBearingManufacturing e' um sub-atributo de AllOtherFabricatedMetalProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4623-4623 | EnameledIronAndMetalSanitaryWareManufacturing e' um sub-atributo de AllOtherFabricatedMetalProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4609-4609 | FabricatedPipeAndPipeFittingManufacturing e' um sub-atributo de AllOtherFabricatedMetalProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4616-4616 | IndustrialPatternManufacturing e' um sub-atributo de AllOtherFabricatedMetalProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4602-4602 | OtherOrdnanceAndAccessoriesManufacturing e' um sub-atributo de AllOtherFabricatedMetalProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4582-4582 | SmallArmsAmmunitionManufacturing e' um sub-atributo de AllOtherFabricatedMetalProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4596-4596 | SmallArmsManufacturing e' um sub-atributo de AllOtherFabricatedMetalProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6630-6630 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6629-6629 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6628-6628 |
|
|
|