FabricMills - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 1989-1991
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8476-8476
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1886-1886	织品是织物厂的 industry 产品类别
No TPTP formula. May not be expressible in strict first order.	naics.kif 1987-1987	织物厂是纺织厂的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 1993-1993	宽幅织物厂是织物厂的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 2026-2026	针织面料厂是织物厂的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 1999-1999	窄幅面料厂和飞梭机器刺绣是织物厂的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 2020-2020	无纺布厂是织物厂的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23086-23086
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23085-23085
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23084-23084