No TPTP formula. May not be expressible in strict first order. |
naics.kif 4001-4001 |
子屬性 軋鋼形狀製造 and 購買鋼材的軋製和拉伸 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4009-4009 |
子屬性 鋼線拉絲 and 購買鋼材的軋製和拉伸 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50290-50290 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50289-50289 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50288-50288 |
|