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	有限的服务饮食场所是食品服务和饮酒场所的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 11655-11655	食堂是有限的服务饮食场所的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 11648-11648	有限服务餐厅是有限的服务饮食场所的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 11661-11661	小吃和非酒精饮料吧台是有限的服务饮食场所的 subAttribute
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