TreeView Knowledge Base Browser - ComputerAndPeripheralEquipmentManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 5154-5156
No TPTP formula. May not be expressible in strict first order.	naics.kif 5152-5152	计算机和外围设备制造业是计算机和电子产品制造业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 5165-5165	计算机存储设备制造是计算机和外围设备制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 5172-5172	电脑终端制造是计算机和外围设备制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 5158-5158	电子计算机制造是计算机和外围设备制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 5179-5179	其他电脑周边设备制造业是计算机和外围设备制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16272-16272
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16271-16271
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16270-16270