TreeView Knowledge Base Browser - MajorApplianceManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 5517-5519
No TPTP formula. May not be expressible in strict first order.	naics.kif 5515-5515	子屬性主要家電製造業 and 家電製造業

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 5521-5521	子屬性家用烹飪器具製造業 and 主要家電製造業
No TPTP formula. May not be expressible in strict first order.	naics.kif 5535-5535	子屬性家用洗衣設備製造業 and 主要家電製造業
No TPTP formula. May not be expressible in strict first order.	naics.kif 5528-5528	子屬性家用冰箱和家用冰櫃製造 and 主要家電製造業
No TPTP formula. May not be expressible in strict first order.	naics.kif 5542-5542	子屬性其他主要家電製造業 and 主要家電製造業
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35711-35711
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35710-35710
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35709-35709