TreeView Knowledge Base Browser - MotorVehicleElectricalAndElectronicEquipmentManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 5798-5801
No TPTP formula. May not be expressible in strict first order.	naics.kif 5796-5796	子屬性汽車電氣電子設備製造業 and 汽車零部件製造業

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 5810-5810	子屬性其他汽車電氣電子設備製造業 and 汽車電氣電子設備製造業
No TPTP formula. May not be expressible in strict first order.	naics.kif 5803-5803	子屬性車輛照明設備製造業 and 汽車電氣電子設備製造業
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38895-38895
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38894-38894
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38893-38893