TreeView Knowledge Base Browser - MetalCanBoxAndOtherMetalContainerLightGaugeManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 4410-4413
No TPTP formula. May not be expressible in strict first order.	naics.kif 4408-4408	金属罐盒等金属容器轻型制造是锅炉罐和集装箱制造的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 4415-4415	金属罐头制造是金属罐盒等金属容器轻型制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 4421-4421	其他金属容器制造业是金属罐盒等金属容器轻型制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37235-37235
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37234-37234
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37233-37233