TreeView Knowledge Base Browser - OtherGeneralMerchandiseStores

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 7726-7728
No TPTP formula. May not be expressible in strict first order.	naics.kif 7724-7724	其他百货商店是百货商店的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 7738-7738	所有其他百货商店是其他百货商店的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 7730-7730	仓库俱乐部和超市是其他百货商店的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43050-43050
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43049-43049
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43048-43048