No TPTP formula. May not be expressible in strict first order. |
naics.kif 6128-6128 |
百叶窗和遮阳制造 是 其他家具相关产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6121-6121 |
床垫制造 是 其他家具相关产品制造 的 subAttribute |
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 |
|