No TPTP formula. May not be expressible in strict first order. |
naics.kif 5655-5655 |
所有其他电气设备和部件制造 是 其他电气设备和部件制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5592-5592 |
电池制造 是 其他电气设备和部件制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5612-5612 |
通信和能源电线电缆制造业 是 其他电气设备和部件制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5634-5634 |
接线装置制造 是 其他电气设备和部件制造 的 subAttribute |
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 |
|