TreeView Knowledge Base Browser - PumpAndCompressorManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 4992-4994
No TPTP formula. May not be expressible in strict first order.	naics.kif 4990-4990	泵和压缩机制造是其他通用机械制造的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 5003-5003	空气和气体压缩机制造是泵和压缩机制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 5010-5010	测量和分配泵制造是泵和压缩机制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 4996-4996	泵和泵设备制造是泵和压缩机制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48116-48116
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48115-48115
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48114-48114