No TPTP formula. May not be expressible in strict first order. |
naics.kif 4358-4358 |
装饰和建筑金属制品制造 是 建筑和结构金属制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4330-4330 |
板材加工和制造结构产品制造 是 建筑和结构金属制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8232-8232 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8231-8231 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8230-8230 |
|