TreeView Knowledge Base Browser - AutomotiveRepairAndMaintenance

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 11724-11726
No TPTP formula. May not be expressible in strict first order.	naics.kif 11722-11722	子屬性汽車維修和保養 and 維修和保養

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 11763-11763	子屬性汽車車身漆內部和玻璃修復 and 汽車維修和保養
No TPTP formula. May not be expressible in strict first order.	naics.kif 11728-11728	子屬性汽車機電維修 and 汽車維修和保養
No TPTP formula. May not be expressible in strict first order.	naics.kif 11785-11785	子屬性其他汽車維修和保養 and 汽車維修和保養
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9288-9288
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9287-9287
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9286-9286