TreeView Knowledge Base Browser - IronAndSteelForging

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 4251-4253
No TPTP formula. May not be expressible in strict first order.	naics.kif 4249-4249	钢铁锻造是锻造和冲压的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1876-1876	铁锻造是钢铁锻造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1875-1875	钢锻造是钢铁锻造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31027-31027
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31026-31026
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31025-31025