Class FUEL

Slots on this class:

Documentation: the fuel used in power systems
Instance-Of: Class
Subclass-Of: Entity, Substance
Arity: 1
Has-Quantity-Function: Heating-value
Heating-Value:
Slot-Documentation:
the magnitude of the enthalpy of combustion of the fuel

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))))

Other Related Axioms:

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

(=> (Fuel ?Self) (Value-Cardinality ?Self Heating-Value 1))

(Quantity-Function-Of Heating-Value Fuel)

(Forall (?Self ?Time)
        (=> (Active ?Time Fuel-Consuming-Component ?Self)
            (= (Lambda (?T)
                       (If (= ?T ?Time)
                           (Value-At (Heat-Supply-Rate ?Self) ?T)))
               (* (Lambda (?T)
                          (If (= ?T ?Time)
                              (Value-At (Fuel-Supply-Rate ?Self) ?T)))
                  (Lambda (?T)
                          (If (= ?T ?Time)
                              (Value-At (Heating-Value Fuel) ?T)))))))