No TPTP formula. May not be expressible in strict first order. | Economy.kif 2063-2063 | 发电 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2069-2069 | 发电 是 发电 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2075-2075 | 化石燃料发电 是 发电 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2079-2079 | 核能发电 是 发电 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2081-2081 | 其他发电源 是 发电 的 subclass |