No TPTP formula. May not be expressible in strict first order. |
naics.kif 3676-3676 |
子屬性 所有其他橡膠製品生產 and 其他橡膠製品生產 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3669-3669 |
子屬性 機械用橡膠製品製造 and 其他橡膠製品生產 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43428-43428 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43427-43427 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43426-43426 |
|