No TPTP formula. May not be expressible in strict first order. |
naics.kif 3663-3663 |
其他橡胶制品生产 是 橡胶制品制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3656-3656 |
橡胶和塑料软管和皮带制造 是 橡胶制品制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3637-3637 |
轮胎制造 是 橡胶制品制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50576-50576 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50575-50575 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50574-50574 |
|