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 2077-2077 | Hydro electric power generation is a subclass of electrical power generation |