No TPTP formula. May not be expressible in strict first order. |
naics.kif 4344-4344 |
子屬性 製造結構金屬製造 and 板材加工和製造結構產品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4351-4351 |
子屬性 製版工作 and 板材加工和製造結構產品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4337-4337 |
子屬性 預製金屬建築和部件製造 and 板材加工和製造結構產品製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46232-46232 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46231-46231 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46230-46230 |
|