TreeView Knowledge Base Browser - AllOtherWasteManagementServices

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 10707-10709
No TPTP formula. May not be expressible in strict first order.	naics.kif 10705-10705	子屬性所有其他廢物管理服務 and 補救和其他廢物管理服務

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 10718-10718	子屬性所有其他雜項廢物管理服務 and 所有其他廢物管理服務
No TPTP formula. May not be expressible in strict first order.	naics.kif 10711-10711	子屬性化糞池及相關服務 and 所有其他廢物管理服務
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6948-6948
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6947-6947
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6946-6946