TreeView Knowledge Base Browser - SpecialtyFoodStores

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 7357-7359
No TPTP formula. May not be expressible in strict first order.	naics.kif 7355-7355	子屬性特色食品店 and 食品和飲料店

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 7368-7368	子屬性魚類和海鮮市場 and 特色食品店
No TPTP formula. May not be expressible in strict first order.	naics.kif 7375-7375	子屬性水果和蔬菜市場 and 特色食品店
No TPTP formula. May not be expressible in strict first order.	naics.kif 7361-7361	子屬性肉類市場 and 特色食品店
No TPTP formula. May not be expressible in strict first order.	naics.kif 7382-7382	子屬性其他特色食品店 and 特色食品店
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54582-54582
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54581-54581
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54580-54580