No TPTP formula. May not be expressible in strict first order. |
naics.kif 3756-3756 |
砖和结构粘土瓦制造 是 粘土建筑材料和耐火材料制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3763-3763 |
陶瓷墙和地砖制造 是 粘土建筑材料和耐火材料制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3777-3777 |
粘土耐火材料制造 是 粘土建筑材料和耐火材料制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3784-3784 |
非粘性耐火材料制造 是 粘土建筑材料和耐火材料制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3770-3770 |
其他结构粘土产品制造 是 粘土建筑材料和耐火材料制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15066-15066 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15065-15065 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15064-15064 |
|