No TPTP formula. May not be expressible in strict first order. |
naics.kif 2135-2135 |
其他纺织产品厂 是 纺织产品厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2103-2103 |
纺织品家具厂 是 纺织产品厂 的 subAttribute |
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 |
|