No TPTP formula. May not be expressible in strict first order. |
naics.kif 1028-1028 |
子屬性 電力大容量電力傳輸與控制 and 電力傳輸控制和分配 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1035-1035 |
子屬性 電力分配 and 電力傳輸控制和分配 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21660-21660 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21659-21659 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21658-21658 |
|