No TPTP formula. May not be expressible in strict first order. |
naics.kif 1000-1000 |
子屬性 化石燃料發電 and 發電 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 993-993 |
子屬性 水力發電 and 發電 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1007-1007 |
子屬性 核電發電 and 發電 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1014-1014 |
子屬性 其他發電 and 發電 |
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 |
|