No TPTP formula. May not be expressible in strict first order. |
naics.kif 987-987 |
发电 是 发电输配电 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1021-1021 |
电力传输控制和分配 是 发电输配电 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21654-21654 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21653-21653 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21652-21652 |
|