TreeView Knowledge Base Browser - HouseholdApplianceManufacturing

appearance as argument number 1

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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 5515-5515	主要家电制造业是家电制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 5493-5493	小家电制造业是家电制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28731-28731
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28730-28730
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28729-28729