TreeView Knowledge Base Browser - ElectricLightingEquipmentManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 5447-5449
No TPTP formula. May not be expressible in strict first order.	naics.kif 5445-5445	电气照明设备制造业是电气设备器具和元件制造的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 5451-5451	电灯泡和零件制造是电气照明设备制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 5458-5458	照明灯具制造是电气照明设备制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21630-21630
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21629-21629
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21628-21628