CopperIndustry - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8439-8439
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9111-9111
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9112-9112
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9113-9113
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9114-9114
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1724-1724	铜工业是行业属性的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1728-1728	铜铸造厂除了压铸是铜工业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1725-1725	铜矿开采是铜工业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1727-1727	铜轧制拉伸挤压和合金化是铜工业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1726-1726	初级冶炼和精炼铜是铜工业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17244-17244
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17243-17243
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17242-17242