FoodServicesAndDrinkingPlaces - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 11632-11634
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6022-6022
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6542-6542
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6540-6540
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6541-6541
No TPTP formula. May not be expressible in strict first order.	naics.kif 11630-11630	食品服务和饮酒场所是住宿和餐饮服务的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 11704-11704	喝酒的地方含酒精的饮料是食品服务和饮酒场所的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 11636-11636	全方位服务餐厅是食品服务和饮酒场所的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 11642-11642	有限的服务饮食场所是食品服务和饮酒场所的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 11678-11678	特殊食品服务是食品服务和饮酒场所的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24566-24566
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24565-24565
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24564-24564