TreeView Knowledge Base Browser - AutomotivePartsAccessoriesAndTireStores

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 7100-7102
No TPTP formula. May not be expressible in strict first order.	naics.kif 7098-7098	汽车零配件和轮胎店是汽车及零部件经销商的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 7104-7104	汽车零配件商店是汽车零配件和轮胎店的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 7112-7112	轮胎经销商是汽车零配件和轮胎店的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9276-9276
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9275-9275
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9274-9274