No TPTP formula. May not be expressible in strict first order. |
naics.kif 4158-4158 |
铁铸造厂 是 黑色金属铸造厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4171-4171 |
钢铁铸造厂除投资外 是 黑色金属铸造厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4164-4164 |
钢铁投资铸造厂 是 黑色金属铸造厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23522-23522 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23521-23521 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23520-23520 |
|