No TPTP formula. May not be expressible in strict first order. |
naics.kif 4408-4408 |
金属罐盒等金属容器轻型制造 是 锅炉罐和集装箱制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4401-4401 |
金属罐重型量规制造 是 锅炉罐和集装箱制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4393-4393 |
动力锅炉和换热器制造 是 锅炉罐和集装箱制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11501-11501 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11500-11500 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11499-11499 |
|