TreeView Knowledge Base Browser - IronAndSteelMillsAndFerroalloyManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 3963-3965
No TPTP formula. May not be expressible in strict first order.	naics.kif 3961-3961	钢铁厂和铁合金制造业是主要金属制造业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 3975-3975	电冶金铁合金产品制造是钢铁厂和铁合金制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 3967-3967	钢铁厂是钢铁厂和铁合金制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31039-31039
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31038-31038
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31037-31037