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 e' um sub-atributo de OtherGeneralPurposeMachineryManufacturing |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5111-5111 | AllOtherMiscellaneousGeneralPurposeMachineryManufacturing e' um sub-atributo de AllOtherGeneralPurposeMachineryManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5090-5090 | FluidPowerCylinderAndActuatorManufacturing e' um sub-atributo de AllOtherGeneralPurposeMachineryManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5097-5097 | FluidPowerPumpAndMotorManufacturing e' um sub-atributo de AllOtherGeneralPurposeMachineryManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5083-5083 | IndustrialProcessFurnaceAndOvenManufacturing e' um sub-atributo de AllOtherGeneralPurposeMachineryManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5076-5076 | PackagingMachineryManufacturing e' um sub-atributo de AllOtherGeneralPurposeMachineryManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5061-5061 | PowerDrivenHandtoolManufacturing e' um sub-atributo de AllOtherGeneralPurposeMachineryManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5104-5104 | ScaleAndBalanceExceptLaboratoryManufacturing e' um sub-atributo de AllOtherGeneralPurposeMachineryManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5068-5068 | WeldingAndSolderingEquipmentManufacturing e' um sub-atributo 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 |