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	子屬性所有其他紡織產品廠 and 其他紡織產品廠

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 2181-2181	子屬性所有其他雜項紡織品工廠 and 所有其他紡織產品廠
No TPTP formula. May not be expressible in strict first order.	naics.kif 2167-2167	子屬性繩索繩索和麻線磨 and 所有其他紡織產品廠
No TPTP formula. May not be expressible in strict first order.	naics.kif 2174-2174	子屬性輪胎簾子線和輪胎織物廠 and 所有其他紡織產品廠
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