No TPTP formula. May not be expressible in strict first order. |
naics.kif 4344-4344 |
制造结构金属制造 是 板材加工和制造结构产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4351-4351 |
制版工作 是 板材加工和制造结构产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4337-4337 |
预制金属建筑和部件制造 是 板材加工和制造结构产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46230-46230 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46229-46229 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46228-46228 |
|