No TPTP formula. May not be expressible in strict first order. |
naics.kif 5619-5619 |
子屬性 光纜製造 and 通信和能源電線電纜製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5626-5626 |
子屬性 其他通信和能源線製造 and 通信和能源電線電纜製造業 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16008-16008 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16007-16007 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16006-16006 |
|