Function HEATING-VALUE

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

Slots on this function:

Documentation:

the magnitude of the enthalpy of combustion of the fuel

Instance-Of: Function, Quantity-function

Arity: 2

Range: Everywhere-continuous-quantity

Other Related Axioms:

(Inherited-Facet-Value 
    Slot-Documentation
    Fuel
    Heating-Value
    The Magnitude Of The Enthalpy Of Combustion Of The Fuel)

(Inherited-Facet-Value Slot-Cardinality Fuel Heating-Value 1)

(Has-Quantity-Function Fuel Heating-Value)

(Slot-Documentation 
    Fuel
    Heating-Value
    The Magnitude Of The Enthalpy Of Combustion Of The Fuel)

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

(=> (Heating-Value $X $Y) (Everywhere-Continuous-Quantity $Y))

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