No TPTP formula. May not be expressible in strict first order. |
naics.kif 2161-2161 |
所有其他纺织产品厂 是 其他纺织产品厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2141-2141 |
纺织袋和帆布厂 是 其他纺织产品厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43566-43566 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43565-43565 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43564-43564 |
|