TreeView Knowledge Base Browser - OtherTextileProductMills

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 2137-2139
No TPTP formula. May not be expressible in strict first order.	naics.kif 2135-2135	其他纺织产品厂是纺织产品厂的 subAttribute

appearance as argument number 2

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