|
|
  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 Maquina |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4638-4638 | MachineryManufacturing e' uma instancia de IndustryAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6145-6145 | MiscellaneousManufacturing e' disjunto de MachineryManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4662-4662 | AgricultureConstructionAndMiningMachineryManufacturing e' um sub-atributo de MachineryManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4793-4793 | CommercialAndServiceIndustryMachineryManufacturing e' um sub-atributo de MachineryManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4947-4947 | EngineTurbineAndPowerTransmissionEquipmentManufacturing e' um sub-atributo de MachineryManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4722-4722 | IndustrialMachineryManufacturing e' um sub-atributo de MachineryManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4889-4889 | MetalworkingMachineryManufacturing e' um sub-atributo de MachineryManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4984-4984 | OtherGeneralPurposeMachineryManufacturing e' um sub-atributo de MachineryManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4846-4846 | VentilationHeatingAirConditioningAndCommercialRefrigerationEquipmentManufacturing e' um sub-atributo 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 |
|
|
|
|