No TPTP formula. May not be expressible in strict first order. |
naics.kif 3367-3367 |
除诊断制造外的生物制品 是 制药和医药制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3359-3359 |
体外诊断物质制造 是 制药和医药制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3345-3345 |
药用和植物制造 是 制药和医药制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3352-3352 |
药物制剂制造 是 制药和医药制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45528-45528 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45527-45527 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45526-45526 |
|