No TPTP formula. May not be expressible in strict first order. | Economy.kif 2069-2069 | ElectricalPowerGeneration e' uma sub-classe de PowerGeneration |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2077-2077 | HydroElectricPowerGeneration e' uma sub-classe de ElectricalPowerGeneration |
![]() |