TreeView Knowledge Base Browser - OtherAutomotiveRepairAndMaintenance

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 11787-11789
No TPTP formula. May not be expressible in strict first order.	naics.kif 11785-11785	子屬性其他汽車維修和保養 and 汽車維修和保養

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 11805-11805	子屬性所有其他汽車維修和保養 and 其他汽車維修和保養
No TPTP formula. May not be expressible in strict first order.	naics.kif 11791-11791	子屬性汽車換油和潤滑車間 and 其他汽車維修和保養
No TPTP formula. May not be expressible in strict first order.	naics.kif 11799-11799	子屬性洗車 and 其他汽車維修和保養
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42762-42762
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42761-42761
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42760-42760