No TPTP formula. May not be expressible in strict first order. |
naics.kif 3002-3002 |
空白活页本装订和装置制造 是 印花 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2996-2996 |
书籍印刷 是 印花 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2961-2961 |
商业柔版印刷 是 印花 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2954-2954 |
商业凹版印刷 是 印花 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2947-2947 |
商业平版印刷 是 印花 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2968-2968 |
商业丝网印刷 是 印花 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2982-2982 |
数字印刷 是 印花 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2989-2989 |
多种业务形式印刷 是 印花 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3010-3010 |
其他商业印刷 是 印花 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2976-2976 |
快速印刷 是 印花 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47378-47378 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47377-47377 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47376-47376 |
|