No TPTP formula. May not be expressible in strict first order. |
naics.kif 6141-6141 |
杂项制造业 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1755-1755 |
家具制造业 是 家具及相关产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6012-6012 |
家庭和机构家具和厨柜制造 是 家具及相关产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6078-6078 |
办公家具包括固定装置制造 是 家具及相关产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6115-6115 |
其他家具相关产品制造 是 家具及相关产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25268-25268 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25267-25267 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25266-25266 |
|