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	子屬性汽車零配件和輪胎店 and 汽車及零部件經銷商

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 7104-7104	子屬性汽車零配件商店 and 汽車零配件和輪胎店
No TPTP formula. May not be expressible in strict first order.	naics.kif 7112-7112	子屬性輪胎經銷商 and 汽車零配件和輪胎店
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