SewageDisposal - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9626-9626
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9623-9623
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9628-9628
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9627-9627
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8700-8700
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9625-9625
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9629-9629
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9624-9624
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2920-2920	子類污水處理 and 衛生

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52367-52367
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52366-52366
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52365-52365