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 47386-47386 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47385-47385 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47384-47384 |
|