TreeView Knowledge Base Browser - IndustrialMachineryManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 4724-4726
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5791-5791	工业机械制造业和工业供应是内部相关
No TPTP formula. May not be expressible in strict first order.	naics.kif 4722-4722	工业机械制造业是机械制造业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 4743-4743	其他工业机械制造业是工业机械制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 4735-4735	塑料和橡胶工业机械制造业是工业机械制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 4728-4728	锯木厂和木工机械制造是工业机械制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29797-29797
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29796-29796
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29795-29795