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	汽车维修和保养是维修和保养的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 11763-11763	汽车车身漆内部和玻璃修复是汽车维修和保养的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 11728-11728	汽车机电维修是汽车维修和保养的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 11785-11785	其他汽车维修和保养是汽车维修和保养的 subAttribute
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