|
|
  FabricatedMetalProductManufacturing
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4221-4223 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10988-10988 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4219-4219 | FabricatedMetalProductManufacturing e' uma instancia de IndustryAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6146-6146 | MiscellaneousManufacturing e' disjunto de FabricatedMetalProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4323-4323 | ArchitecturalAndStructuralMetalsManufacturing e' um sub-atributo de FabricatedMetalProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4386-4386 | BoilerTankAndShippingContainerManufacturing e' um sub-atributo de FabricatedMetalProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4497-4497 | CoatingEngravingHeatTreatingAndAlliedActivities e' um sub-atributo de FabricatedMetalProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4289-4289 | CutleryAndHandtoolManufacturing e' um sub-atributo de FabricatedMetalProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4243-4243 | ForgingAndStamping e' um sub-atributo de FabricatedMetalProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4428-4428 | HardwareManufacturing e' um sub-atributo de FabricatedMetalProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4462-4462 | MachineShopsTurnedProductAndScrewNutAndBoltManufacturing e' um sub-atributo de FabricatedMetalProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4528-4528 | OtherFabricatedMetalProductManufacturing e' um sub-atributo de FabricatedMetalProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4434-4434 | SpringAndWireProductManufacturing e' um sub-atributo de FabricatedMetalProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23062-23062 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23061-23061 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23060-23060 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4225-4241 |
|
|
|
|
