No TPTP formula. May not be expressible in strict first order. |
naics.kif 12000-12000 |
子屬性 投幣式洗衣店和乾洗店 and 乾洗和洗衣服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12007-12007 |
子屬性 除投幣外,乾洗和洗衣服務 and 乾洗和洗衣服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12014-12014 |
子屬性 亞麻和製服供應 and 乾洗和洗衣服務 |
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 |
|