No TPTP formula. May not be expressible in strict first order. |
naics.kif 5407-5407 |
子屬性 磁性和光學記錄介質製造 and 製造和再現磁性和光學媒體 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5398-5398 |
子屬性 預先錄製的光盤,軟件磁帶和記錄複製除外 and 製造和再現磁性和光學媒體 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5392-5392 |
子屬性 軟件重製 and 製造和再現磁性和光學媒體 |
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 |
|