No TPTP formula. May not be expressible in strict first order. |
naics.kif 6356-6356 |
扫帚刷和拖把制造 是 所有其他杂项制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6363-6363 |
埋葬棺材制造 是 所有其他杂项制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6349-6349 |
紧固件按钮针和销制造 是 所有其他杂项制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6335-6335 |
垫片包装和密封装置制造 是 所有其他杂项制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6342-6342 |
乐器制造业 是 所有其他杂项制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6762-6762 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6761-6761 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6760-6760 |
|