No TPTP formula. May not be expressible in strict first order. |
naics.kif 5165-5165 |
子屬性 計算機存儲設備製造 and 計算機和外圍設備製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5172-5172 |
子屬性 電腦終端製造 and 計算機和外圍設備製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5158-5158 |
子屬性 電子計算機製造 and 計算機和外圍設備製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5179-5179 |
子屬性 其他電腦周邊設備製造業 and 計算機和外圍設備製造業 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16272-16272 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16271-16271 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16270-16270 |
|