TreeView Knowledge Base Browser - AllOtherMiscellaneousStoreRetailers

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 7852-7854
No TPTP formula. May not be expressible in strict first order.	naics.kif 7850-7850	子屬性所有其他雜貨店零售商 and 其他雜貨店零售商

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 7862-7862	子屬性除煙草店外的所有其他雜貨店零售商 and 所有其他雜貨店零售商
No TPTP formula. May not be expressible in strict first order.	naics.kif 7856-7856	子屬性煙草店 and 所有其他雜貨店零售商
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6780-6780
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6779-6779
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6778-6778