TreeView Knowledge Base Browser - CurtainAndLinenMills

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 2117-2119
No TPTP formula. May not be expressible in strict first order.	naics.kif 2115-2115	窗帘和亚麻布厂是纺织品家具厂的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 2121-2121	窗帘和帷幔是窗帘和亚麻布厂的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 2128-2128	其他家用纺织品厂是窗帘和亚麻布厂的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18144-18144
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18143-18143
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18142-18142