No TPTP formula. May not be expressible in strict first order. |
naics.kif 1000-1000 |
化石燃料发电 是 发电 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 993-993 |
水力发电 是 发电 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1007-1007 |
核电发电 是 发电 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1014-1014 |
其他发电 是 发电 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21648-21648 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21647-21647 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21646-21646 |
|