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 |
|