No TPTP formula. May not be expressible in strict first order. |
naics.kif 1987-1987 |
织物厂 是 纺织厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1962-1962 |
纤维纱线和螺纹铣刀 是 纺织厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2045-2045 |
纺织和织物处理和织物涂层磨 是 纺织厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57746-57746 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57745-57745 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57744-57744 |
|