No TPTP formula. May not be expressible in strict first order. |
naics.kif 6092-6092 |
定制建筑木制品和木制品制造 是 办公家具包括固定装置制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6100-6100 |
办公家具除木制品外 是 办公家具包括固定装置制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6107-6107 |
展示分区货架和储物柜制造 是 办公家具包括固定装置制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6085-6085 |
木制办公家具制造业 是 办公家具包括固定装置制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41714-41714 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41713-41713 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41712-41712 |
|