No TPTP formula. May not be expressible in strict first order. |
naics.kif 2135-2135 |
子屬性 其他紡織產品廠 and 紡織產品廠 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2103-2103 |
子屬性 紡織品家具廠 and 紡織產品廠 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57758-57758 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57757-57757 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57756-57756 |
|