No TPTP formula. May not be expressible in strict first order. |
naics.kif 12000-12000 |
投币式洗衣店和干洗店 是 干洗和洗衣服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12007-12007 |
除投币外,干洗和洗衣服务 是 干洗和洗衣服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12014-12014 |
亚麻和制服供应 是 干洗和洗衣服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20574-20574 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20573-20573 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20572-20572 |
|