No TPTP formula. May not be expressible in strict first order. |
naics.kif 5209-5209 |
其他通讯设备制造业 是 通讯设备制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5200-5200 |
广播电视广播和无线通信设备制造业 是 通讯设备制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5193-5193 |
电话设备制造业 是 通讯设备制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16056-16056 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16055-16055 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16054-16054 |
|