No TPTP formula. May not be expressible in strict first order. |
naics.kif 5407-5407 |
磁性和光学记录介质制造 是 制造和再现磁性和光学媒体 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5398-5398 |
预先录制的光盘,软件磁带和记录复制除外 是 制造和再现磁性和光学媒体 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5392-5392 |
软件重制 是 制造和再现磁性和光学媒体 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36059-36059 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36058-36058 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36057-36057 |
|