|
|
  AllOtherGeneralPurposeMachineryManufacturing
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5056-5059 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5054-5054 | AllOtherGeneralPurposeMachineryManufacturing est un sous-attribut de OtherGeneralPurposeMachineryManufacturing |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5111-5111 | AllOtherMiscellaneousGeneralPurposeMachineryManufacturing est un sous-attribut de AllOtherGeneralPurposeMachineryManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5090-5090 | FluidPowerCylinderAndActuatorManufacturing est un sous-attribut de AllOtherGeneralPurposeMachineryManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5097-5097 | FluidPowerPumpAndMotorManufacturing est un sous-attribut de AllOtherGeneralPurposeMachineryManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5083-5083 | IndustrialProcessFurnaceAndOvenManufacturing est un sous-attribut de AllOtherGeneralPurposeMachineryManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5076-5076 | PackagingMachineryManufacturing est un sous-attribut de AllOtherGeneralPurposeMachineryManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5061-5061 | PowerDrivenHandtoolManufacturing est un sous-attribut de AllOtherGeneralPurposeMachineryManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5104-5104 | ScaleAndBalanceExceptLaboratoryManufacturing est un sous-attribut de AllOtherGeneralPurposeMachineryManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5068-5068 | WeldingAndSolderingEquipmentManufacturing est un sous-attribut de AllOtherGeneralPurposeMachineryManufacturing |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6654-6654 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6653-6653 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6652-6652 |
|
|
|