No TPTP formula. May not be expressible in strict first order. |
naics.kif 5619-5619 |
光缆制造 是 通信和能源电线电缆制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5626-5626 |
其他通信和能源线制造 是 通信和能源电线电缆制造业 的 subAttribute |
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 |
|