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	相關的內部概念工業機械製造業 and 工業供應
No TPTP formula. May not be expressible in strict first order.	naics.kif 4722-4722	子屬性工業機械製造業 and 機械製造業

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 4743-4743	子屬性其他工業機械製造業 and 工業機械製造業
No TPTP formula. May not be expressible in strict first order.	naics.kif 4735-4735	子屬性塑料和橡膠工業機械製造業 and 工業機械製造業
No TPTP formula. May not be expressible in strict first order.	naics.kif 4728-4728	子屬性鋸木廠和木工機械製造 and 工業機械製造業
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