TreeView Knowledge Base Browser - AutomotiveBodyPaintInteriorAndGlassRepair

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 11765-11768
No TPTP formula. May not be expressible in strict first order.	naics.kif 11763-11763	子屬性汽車車身漆內部和玻璃修復 and 汽車維修和保養

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 11770-11770	子屬性汽車車身漆和內部維修保養 and 汽車車身漆內部和玻璃修復
No TPTP formula. May not be expressible in strict first order.	naics.kif 11778-11778	子屬性汽車玻璃更換店 and 汽車車身漆內部和玻璃修復
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9240-9240
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9239-9239
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9238-9238