No TPTP formula. May not be expressible in strict first order. |
naics.kif 4099-4099 |
子屬性 銅軋製拉伸和擠壓 and 銅軋製拉伸擠壓和合金化 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4106-4106 |
子屬性 除機械製圖外的銅線 and 銅軋製拉伸擠壓和合金化 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4113-4113 |
子屬性 二次冶煉精煉和合金化銅 and 銅軋製拉伸擠壓和合金化 |
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 |
|