TreeView Knowledge Base Browser - MobileFoodServices

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 11699-11702
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11448-11448
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11447-11447
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11446-11446
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11449-11449
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10131-10131
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11445-11445
No TPTP formula. May not be expressible in strict first order.	naics.kif 11697-11697	移动食品服务是特殊食品服务的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38163-38163
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38162-38162
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38161-38161