No TPTP formula. May not be expressible in strict first order. |
naics.kif 4569-4569 |
子屬性 所有其他金屬製品製造業 and 其他加工金屬製品製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4534-4534 |
子屬性 金屬閥門製造 and 其他加工金屬製品製造業 |
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 |
|