No TPTP formula. May not be expressible in strict first order. |
naics.kif 2642-2642 |
子屬性 其他木製品製造業 and 木製品製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2583-2583 |
子屬性 鋸木廠和木材保護 and 木製品製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2601-2601 |
子屬性 膠合板和工程木製品製造 and 木製品製造業 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63423-63423 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63422-63422 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63421-63421 |
|