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	子屬性汽車車身和拖車製造 and 汽車工業
No TPTP formula. May not be expressible in strict first order.	naics.kif 5736-5736	子屬性汽車車身和拖車製造 and 運輸設備製造業

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 5755-5755	子屬性汽車之家製造業 and 汽車車身和拖車製造
No TPTP formula. May not be expressible in strict first order.	naics.kif 5742-5742	子屬性汽車車身製造 and 汽車車身和拖車製造
No TPTP formula. May not be expressible in strict first order.	naics.kif 5761-5761	子屬性旅行拖車和露營車製造 and 汽車車身和拖車製造
No TPTP formula. May not be expressible in strict first order.	naics.kif 5749-5749	子屬性卡車拖車製造 and 汽車車身和拖車製造
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