| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2063-2063 | Power generation is a subclass of process |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2069-2069 | Electrical power generation is a subclass of power generation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2075-2075 | Fossil fuel power generation is a subclass of power generation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2079-2079 | Nuclear power generation is a subclass of power generation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2081-2081 | Other source power generation is a subclass of power generation |
|
|