TreeView Knowledge Base Browser - OtherSpecialtyFoodStores

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 7384-7386
No TPTP formula. May not be expressible in strict first order.	naics.kif 7382-7382	子屬性其他特色食品店 and 特色食品店

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 7401-7401	子屬性所有其他特色食品店 and 其他特色食品店
No TPTP formula. May not be expressible in strict first order.	naics.kif 7388-7388	子屬性烘焙店 and 其他特色食品店
No TPTP formula. May not be expressible in strict first order.	naics.kif 7394-7394	子屬性糖果和堅果店 and 其他特色食品店
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43506-43506
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43505-43505
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43504-43504