TreeView Knowledge Base Browser - EngineTurbineAndPowerTransmissionEquipmentManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 4949-4952
No TPTP formula. May not be expressible in strict first order.	naics.kif 4947-4947	子屬性發動機渦輪和動力傳動設備製造 and 機械製造業

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 4970-4970	子屬性機械動力傳動設備製造 and 發動機渦輪和動力傳動設備製造
No TPTP formula. May not be expressible in strict first order.	naics.kif 4977-4977	子屬性其他發動機設備製造 and 發動機渦輪和動力傳動設備製造
No TPTP formula. May not be expressible in strict first order.	naics.kif 4962-4962	子屬性變速器工業高速驅動和齒輪製造 and 發動機渦輪和動力傳動設備製造
No TPTP formula. May not be expressible in strict first order.	naics.kif 4954-4954	子屬性渦輪和渦輪發電機組裝置製造 and 發動機渦輪和動力傳動設備製造
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22132-22132
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22131-22131
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22130-22130