TreeView Knowledge Base Browser - OtherMiscellaneousStoreRetailers

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 7826-7828
No TPTP formula. May not be expressible in strict first order.	naics.kif 7824-7824	其他杂货店零售商是杂货店零售商的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 7850-7850	所有其他杂货店零售商是其他杂货店零售商的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 7837-7837	艺术经销商是其他杂货店零售商的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 7843-7843	制造移动房屋经销商是其他杂货店零售商的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 7830-7830	宠物和宠物用品商店是其他杂货店零售商的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43260-43260
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43259-43259
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43258-43258