TreeView Knowledge Base Browser - LightingFixtureManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 5460-5462
No TPTP formula. May not be expressible in strict first order.	naics.kif 5458-5458	子屬性照明燈具製造 and 電氣照明設備製造業

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 5471-5471	子屬性商業工業和機構電氣照明燈具製造業 and 照明燈具製造
No TPTP formula. May not be expressible in strict first order.	naics.kif 5480-5480	子屬性其他照明設備製造業 and 照明燈具製造
No TPTP formula. May not be expressible in strict first order.	naics.kif 5464-5464	子屬性住宅電燈具製造 and 照明燈具製造
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34367-34367
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34366-34366
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34365-34365