No TPTP formula. May not be expressible in strict first order. |
naics.kif 4454-4454 |
子屬性 其他加工製造的線材產品製造 and 彈簧和線材產品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4440-4440 |
子屬性 彈簧重型製造 and 彈簧和線材產品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4447-4447 |
子屬性 彈簧輕型製造 and 彈簧和線材產品製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54828-54828 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54827-54827 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54826-54826 |
|