TreeView Knowledge Base Browser - MotorVehicleBodyAndTrailerManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 5738-5740
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1814-1814	汽车车身和拖车制造是汽车工业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 5736-5736	汽车车身和拖车制造是运输设备制造业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 5755-5755	汽车之家制造业是汽车车身和拖车制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 5742-5742	汽车车身制造是汽车车身和拖车制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 5761-5761	旅行拖车和露营车制造是汽车车身和拖车制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 5749-5749	卡车拖车制造是汽车车身和拖车制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38877-38877
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38876-38876
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38875-38875