TreeView Knowledge Base Browser - SpecialFoodServices

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 11680-11682
No TPTP formula. May not be expressible in strict first order.	naics.kif 11678-11678	特殊食品服务是食品服务和饮酒场所的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 11691-11691	餐饮业是特殊食品服务的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 11684-11684	食品服务承包商是特殊食品服务的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 11697-11697	移动食品服务是特殊食品服务的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54498-54498
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54497-54497
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54496-54496