No TPTP formula. May not be expressible in strict first order. |
naics.kif 5564-5564 |
子屬性 電動機和發電機製造 and 電氣設備製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5556-5556 |
子屬性 配電和專業變壓器製造 and 電氣設備製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5578-5578 |
子屬性 繼電器和工業控制製造 and 電氣設備製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5571-5571 |
子屬性 開關設備和總機盤設備製造 and 電氣設備製造業 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21510-21510 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21509-21509 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21508-21508 |
|