TreeView Knowledge Base Browser - ForgingAndStamping

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 4245-4247
No TPTP formula. May not be expressible in strict first order.	naics.kif 4243-4243	锻造和冲压是金属制品制造的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 4268-4268	表冠和封口制造是锻造和冲压的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 4261-4261	定制辊成型是锻造和冲压的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 4249-4249	钢铁锻造是锻造和冲压的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 4275-4275	金属冲压是锻造和冲压的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 4255-4255	有色金属锻造是锻造和冲压的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 4282-4282	粉末冶金零件制造是锻造和冲压的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24716-24716
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24715-24715
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24714-24714