Class FUEL

• Defined in theory: Thermal-system
• Source code: thermal-system.ol

Slots on this class:

Documentation:

the fuel used in power systems

Subclass-Of: Entity, Substance

Arity: 1

Has-Quantity-Function: Heating-value

---

Slots on instances of this class:

Heating-Value:

Slot-Cardinality: 1

Slot-Documentation:

the magnitude of the enthalpy of combustion of the fuel

Axioms:

(Forall (?Self ?Time)
        (<=> (Active ?Time Fuel ?Self)
             (And (Fuel ?Self) (Active ?Time Substance ?Self))))