No TPTP formula. May not be expressible in strict first order. |
naics.kif 5564-5564 |
电动机和发电机制造 是 电气设备制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5556-5556 |
配电和专业变压器制造 是 电气设备制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5578-5578 |
继电器和工业控制制造 是 电气设备制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5571-5571 |
开关设备和总机盘设备制造 是 电气设备制造业 的 subAttribute |
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 |
|