TreeView Knowledge Base Browser - OtherGeneralPurposeMachineryManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 4986-4988
No TPTP formula. May not be expressible in strict first order.	naics.kif 4984-4984	其他通用机械制造是机械制造业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 5054-5054	所有其他通用机械制造是其他通用机械制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 5017-5017	物料搬运设备制造是其他通用机械制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 4990-4990	泵和压缩机制造是其他通用机械制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43056-43056
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43055-43055
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43054-43054