No TPTP formula. May not be expressible in strict first order. |
naics.kif 2058-2058 |
宽幅织物整理厂 是 纺织和织物处理厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2065-2065 |
纺织和织物处理除了宽幅织物工厂 是 纺织和织物处理厂 的 subAttribute |
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 |
|