No TPTP formula. May not be expressible in strict first order. |
naics.kif 2874-2874 |
模切纸和纸板办公用品制造 是 文具产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2882-2882 |
信封制造 是 文具产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2888-2888 |
文具平板及相关产品制造 是 文具产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55164-55164 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55163-55163 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55162-55162 |
|