TreeView Knowledge Base Browser - AutomobileAndLightDutyMotorVehicleManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 5709-5712
No TPTP formula. May not be expressible in strict first order.	naics.kif 5707-5707	汽车和轻型汽车制造业是汽车制造业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 5714-5714	汽车制造业是汽车和轻型汽车制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 5721-5721	轻型卡车和多功能车制造业是汽车和轻型汽车制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9204-9204
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9203-9203
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9202-9202