IndustrialLaunderers - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 12028-12030
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11216-11216
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11221-11221
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11220-11220
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11222-11222
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10064-10064
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11215-11215
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11219-11219
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11218-11218
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11214-11214
No TPTP formula. May not be expressible in strict first order.	naics.kif 12026-12026	工业洗衣店是亚麻和制服供应的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29785-29785
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29784-29784
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29783-29783