TreeView Knowledge Base Browser - WiringDeviceManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 5636-5638
No TPTP formula. May not be expressible in strict first order.	naics.kif 5634-5634	子屬性接線裝置製造 and 其他電氣設備和部件製造

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 5640-5640	子屬性載流接線裝置製造 and 接線裝置製造
No TPTP formula. May not be expressible in strict first order.	naics.kif 5647-5647	子屬性非載流佈線裝置製造 and 接線裝置製造
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63249-63249
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63248-63248
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63247-63247