No TPTP formula. May not be expressible in strict first order. |
naics.kif 2073-2073 |
织物涂层磨 是 纺织和织物处理和织物涂层磨 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2052-2052 |
纺织和织物处理厂 是 纺织和织物处理和织物涂层磨 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57698-57698 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57697-57697 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57696-57696 |
|