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	所有其他废物管理服务是补救和其他废物管理服务的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 10718-10718	所有其他杂项废物管理服务是所有其他废物管理服务的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 10711-10711	化粪池及相关服务是所有其他废物管理服务的 subAttribute
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