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 43028-43028 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43027-43027 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43026-43026 |
|