No TPTP formula. May not be expressible in strict first order. |
naics.kif 5054-5054 |
子屬性 所有其他通用機械製造 and 其他通用機械製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5017-5017 |
子屬性 物料搬運設備製造 and 其他通用機械製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4990-4990 |
子屬性 泵和壓縮機製造 and 其他通用機械製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43056-43056 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43055-43055 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43054-43054 |
|