No TPTP formula. May not be expressible in strict first order. |
naics.kif 2941-2941 |
子屬性 印花 and 印刷和相關的支持活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3017-3017 |
子屬性 支持印刷活動 and 印刷和相關的支持活動 |
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 |
|