No TPTP formula. May not be expressible in strict first order. |
naics.kif 2941-2941 |
印花 是 印刷和相关的支持活动 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3017-3017 |
支持印刷活动 是 印刷和相关的支持活动 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47384-47384 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47383-47383 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47382-47382 |
|