No TPTP formula. May not be expressible in strict first order. |
naics.kif 3030-3030 |
子屬性 印前服務 and 支持印刷活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3023-3023 |
子屬性 貿易綁定和相關工作 and 支持印刷活動 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56193-56193 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56192-56192 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56191-56191 |
|