No TPTP formula. May not be expressible in strict first order. |
naics.kif 5003-5003 |
子屬性 空氣和氣體壓縮機製造 and 泵和壓縮機製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5010-5010 |
子屬性 測量和分配泵製造 and 泵和壓縮機製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4996-4996 |
子屬性 泵和泵設備製造 and 泵和壓縮機製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48116-48116 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48115-48115 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48114-48114 |
|