No TPTP formula. May not be expressible in strict first order. |
naics.kif 2622-2622 |
子屬性 除桁架製造外的工程木構件 and 膠合板和工程木製品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2608-2608 |
子屬性 硬木單板和膠合板製造 and 膠合板和工程木製品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2635-2635 |
子屬性 再生木製品製造 and 膠合板和工程木製品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2615-2615 |
子屬性 軟木貼面和膠合板製造 and 膠合板和工程木製品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2629-2629 |
子屬性 桁架製造 and 膠合板和工程木製品製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61480-61480 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61479-61479 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61478-61478 |
|