No TPTP formula. May not be expressible in strict first order. |
naics.kif 4099-4099 |
铜轧制拉伸和挤压 是 铜轧制拉伸挤压和合金化 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4106-4106 |
除机械制图外的铜线 是 铜轧制拉伸挤压和合金化 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4113-4113 |
二次冶炼精炼和合金化铜 是 铜轧制拉伸挤压和合金化 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17280-17280 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17279-17279 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17278-17278 |
|