No TPTP formula. May not be expressible in strict first order. |
naics.kif 2704-2704 |
所有其他杂项木制品制造 是 所有其他木制品制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2690-2690 |
制造家庭移动房屋制造业 是 所有其他木制品制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2697-2697 |
预制木结构制造 是 所有其他木制品制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6954-6954 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6953-6953 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6952-6952 |
|