TreeView Knowledge Base Browser - TurnedProductAndScrewNutAndBoltManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 4478-4481
No TPTP formula. May not be expressible in strict first order.	naics.kif 4476-4476	转动产品和螺母和螺栓制造是机械店转动产品和螺母和螺栓制造的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 4490-4490	螺栓螺母螺钉铆钉和垫圈制造是转动产品和螺母和螺栓制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 4483-4483	精密车削产品制造是转动产品和螺母和螺栓制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59612-59612
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59611-59611
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59610-59610