No TPTP formula. May not be expressible in strict first order. |
naics.kif 4077-4077 |
初级冶炼和精炼铜 是 有色金属除铝冶炼和精炼外 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4084-4084 |
除铜和铝外的有色金属的初级冶炼和精炼 是 有色金属除铝冶炼和精炼外 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40749-40749 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40748-40748 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40747-40747 |
|