TreeView Knowledge Base Browser - LimitedServiceEatingPlaces

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 11644-11646
No TPTP formula. May not be expressible in strict first order.	naics.kif 11642-11642	子屬性有限的服務飲食場所 and 食品服務和飲酒場所

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 11655-11655	子屬性食堂 and 有限的服務飲食場所
No TPTP formula. May not be expressible in strict first order.	naics.kif 11648-11648	子屬性有限服務餐廳 and 有限的服務飲食場所
No TPTP formula. May not be expressible in strict first order.	naics.kif 11661-11661	子屬性小吃和非酒精飲料吧檯 and 有限的服務飲食場所
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34451-34451
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34450-34450
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34449-34449