No TPTP formula. May not be expressible in strict first order. |
naics.kif 2874-2874 |
子屬性 模切紙和紙板辦公用品製造 and 文具產品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2882-2882 |
子屬性 信封製造 and 文具產品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2888-2888 |
子屬性 文具平板及相關產品製造 and 文具產品製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55166-55166 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55165-55165 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55164-55164 |
|