No TPTP formula. May not be expressible in strict first order. |
naics.kif 3663-3663 |
子屬性 其他橡膠製品生產 and 橡膠製品製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3656-3656 |
子屬性 橡膠和塑料軟管和皮帶製造 and 橡膠製品製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3637-3637 |
子屬性 輪胎製造 and 橡膠製品製造業 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50578-50578 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50577-50577 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50576-50576 |
|