No TPTP formula. May not be expressible in strict first order. |
naics.kif 2058-2058 |
子屬性 寬幅織物整理廠 and 紡織和織物處理廠 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2065-2065 |
子屬性 紡織和織物處理除了寬幅織物工廠 and 紡織和織物處理廠 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57710-57710 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57709-57709 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57708-57708 |
|