TreeView Knowledge Base Browser - SpringAndWireProductManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 4436-4438
No TPTP formula. May not be expressible in strict first order.	naics.kif 4434-4434	弹簧和线材产品制造是金属制品制造的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 4454-4454	其他加工制造的线材产品制造是弹簧和线材产品制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 4440-4440	弹簧重型制造是弹簧和线材产品制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 4447-4447	弹簧轻型制造是弹簧和线材产品制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54828-54828
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54827-54827
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54826-54826