|
|
  MachineryManufacturing
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4640-4642 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1784-1784 | industryProductType MachineryManufacturing and machine |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4638-4638 | MachineryManufacturing est une instance de IndustryAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6145-6145 | MiscellaneousManufacturing est disjoint de MachineryManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4662-4662 | AgricultureConstructionAndMiningMachineryManufacturing est un sous-attribut de MachineryManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4793-4793 | CommercialAndServiceIndustryMachineryManufacturing est un sous-attribut de MachineryManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4947-4947 | EngineTurbineAndPowerTransmissionEquipmentManufacturing est un sous-attribut de MachineryManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4722-4722 | IndustrialMachineryManufacturing est un sous-attribut de MachineryManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4889-4889 | MetalworkingMachineryManufacturing est un sous-attribut de MachineryManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4984-4984 | OtherGeneralPurposeMachineryManufacturing est un sous-attribut de MachineryManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4846-4846 | VentilationHeatingAirConditioningAndCommercialRefrigerationEquipmentManufacturing est un sous-attribut de MachineryManufacturing |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35525-35525 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35524-35524 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35523-35523 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4644-4660 |
|
|
|
|