No TPTP formula. May not be expressible in strict first order. |
naics.kif 6128-6128 |
子屬性 百葉窗和遮陽製造 and 其他家具相關產品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6121-6121 |
子屬性 床墊製造 and 其他家具相關產品製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43026-43026 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43025-43025 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43024-43024 |
|