No TPTP formula. May not be expressible in strict first order. |
naics.kif 5209-5209 |
子屬性 其他通訊設備製造業 and 通訊設備製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5200-5200 |
子屬性 廣播電視廣播和無線通信設備製造業 and 通訊設備製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5193-5193 |
子屬性 電話設備製造業 and 通訊設備製造業 |
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 |
|