No TPTP formula. May not be expressible in strict first order. |
naics.kif 3797-3797 |
平板玻璃制造 是 玻璃和玻璃制品生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3810-3810 |
玻璃容器制造 是 玻璃和玻璃制品生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3816-3816 |
采购玻璃制成的玻璃制品 是 玻璃和玻璃制品生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3803-3803 |
其他压制和吹制玻璃和玻璃器皿制造 是 玻璃和玻璃制品生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26118-26118 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26117-26117 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26116-26116 |
|