WasteCollection - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 10627-10629
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6969-6969
No TPTP formula. May not be expressible in strict first order.	naics.kif 10625-10625	子屬性垃圾收集 and 廢物管理和補救服務

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 10638-10638	子屬性危險廢物收集 and 垃圾收集
No TPTP formula. May not be expressible in strict first order.	naics.kif 10645-10645	子屬性其他廢物收集 and 垃圾收集
No TPTP formula. May not be expressible in strict first order.	naics.kif 10631-10631	子屬性固體廢物收集 and 垃圾收集
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62295-62295
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62294-62294
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62293-62293