No TPTP formula. May not be expressible in strict first order. |
naics.kif 4184-4184 |
铝压铸铸造厂 是 有色金属铸造厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4198-4198 |
除铸造外的铝铸造厂 是 有色金属铸造厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4205-4205 |
铜铸造厂除了压铸 是 有色金属铸造厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4191-4191 |
除铝压铸铸造厂外的有色金属 是 有色金属铸造厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4212-4212 |
除压铸外的其他有色金属铸造厂 是 有色金属铸造厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40767-40767 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40766-40766 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40765-40765 |
|