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	子屬性其他百貨商店 and 百貨商店

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 7738-7738	子屬性所有其他百貨商店 and 其他百貨商店
No TPTP formula. May not be expressible in strict first order.	naics.kif 7730-7730	子屬性倉庫俱樂部和超市 and 其他百貨商店
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