TreeView Knowledge Base Browser - NonferrousMetalExceptCopperAndAluminumRollingDrawingExtrudingAndAlloying

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 4122-4126
No TPTP formula. May not be expressible in strict first order.	naics.kif 4120-4120	有色金属除铜和铝轧制拉伸挤压和合金化是除铝生产和加工外的有色金属的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 4128-4128	有色金属除铜铝轧制拉伸和挤压外是有色金属除铜和铝轧制拉伸挤压和合金化的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 4137-4137	除铜和铝外的二次冶炼精炼和合金化有色金属是有色金属除铜和铝轧制拉伸挤压和合金化的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40761-40761
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40760-40760
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40759-40759