PlateWorkManufacturing - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 4353-4356
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10193-10193
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11629-11629
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11626-11626
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11628-11628
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11630-11630
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11624-11624
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11627-11627
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11625-11625
No TPTP formula. May not be expressible in strict first order.	naics.kif 4351-4351	制版工作是板材加工和制造结构产品制造的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46236-46236
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46235-46235
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46234-46234