No TPTP formula. May not be expressible in strict first order. |
naics.kif 4569-4569 |
所有其他金属制品制造业 是 其他加工金属制品制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4534-4534 |
金属阀门制造 是 其他加工金属制品制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42972-42972 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42971-42971 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42970-42970 |
|