TreeView Knowledge Base Browser - ElectricalEquipmentManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 5552-5554
No TPTP formula. May not be expressible in strict first order.	naics.kif 5550-5550	电气设备制造业是电气设备器具和元件制造的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 5564-5564	电动机和发电机制造是电气设备制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 5556-5556	配电和专业变压器制造是电气设备制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 5578-5578	继电器和工业控制制造是电气设备制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 5571-5571	开关设备和总机盘设备制造是电气设备制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21510-21510
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21509-21509
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21508-21508