TreeView Knowledge Base Browser - AllOtherTextileProductMills

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 2163-2165
No TPTP formula. May not be expressible in strict first order.	naics.kif 2161-2161	所有其他纺织产品厂是其他纺织产品厂的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 2181-2181	所有其他杂项纺织品工厂是所有其他纺织产品厂的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 2167-2167	绳索绳索和麻线磨是所有其他纺织产品厂的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 2174-2174	轮胎帘子线和轮胎织物厂是所有其他纺织产品厂的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6918-6918
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6917-6917
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6916-6916