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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 11691-11691	子屬性餐飲業 and 特殊食品服務
No TPTP formula. May not be expressible in strict first order.	naics.kif 11684-11684	子屬性食品服務承包商 and 特殊食品服務
No TPTP formula. May not be expressible in strict first order.	naics.kif 11697-11697	子屬性移動食品服務 and 特殊食品服務
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