No TPTP formula. May not be expressible in strict first order. |
naics.kif 5655-5655 |
子屬性 所有其他電氣設備和部件製造 and 其他電氣設備和部件製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5592-5592 |
子屬性 電池製造 and 其他電氣設備和部件製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5612-5612 |
子屬性 通信和能源電線電纜製造業 and 其他電氣設備和部件製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5634-5634 |
子屬性 接線裝置製造 and 其他電氣設備和部件製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42936-42936 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42935-42935 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42934-42934 |
|