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 est une instance de IndustryAttribute |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 6146-6146 | MiscellaneousManufacturing est disjoint de FabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4323-4323 | ArchitecturalAndStructuralMetalsManufacturing est un sous-attribut de FabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4386-4386 | BoilerTankAndShippingContainerManufacturing est un sous-attribut de FabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4497-4497 | CoatingEngravingHeatTreatingAndAlliedActivities est un sous-attribut de FabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4289-4289 | CutleryAndHandtoolManufacturing est un sous-attribut de FabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4243-4243 | ForgingAndStamping est un sous-attribut de FabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4428-4428 | HardwareManufacturing est un sous-attribut de FabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4462-4462 | MachineShopsTurnedProductAndScrewNutAndBoltManufacturing est un sous-attribut de FabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4528-4528 | OtherFabricatedMetalProductManufacturing est un sous-attribut de FabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4434-4434 | SpringAndWireProductManufacturing est un sous-attribut 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 |
|
![]() |
![]() |