TreeView Knowledge Base Browser - SteelProductManufacturingFromPurchasedSteel

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 3984-3986
No TPTP formula. May not be expressible in strict first order.	naics.kif 3982-3982	采购钢材生产钢材是主要金属制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1870-1870	采购钢材生产钢材是钢铁工业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 3988-3988	采购钢铁生产的钢管和钢管是采购钢材生产钢材的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 3995-3995	购买钢材的轧制和拉伸是采购钢材生产钢材的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55266-55266
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55265-55265
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55264-55264