TreeView Knowledge Base Browser - FoodServicesAndDrinkingPlaces

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	子屬性食品服務和飲酒場所 and 住宿和餐飲服務

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 11704-11704	子屬性喝酒的地方含酒精的飲料 and 食品服務和飲酒場所
No TPTP formula. May not be expressible in strict first order.	naics.kif 11636-11636	子屬性全方位服務餐廳 and 食品服務和飲酒場所
No TPTP formula. May not be expressible in strict first order.	naics.kif 11642-11642	子屬性有限的服務飲食場所 and 食品服務和飲酒場所
No TPTP formula. May not be expressible in strict first order.	naics.kif 11678-11678	子屬性特殊食品服務 and 食品服務和飲酒場所
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