Class FUEL-CONSUMING-COMPONENT

Slots on this class:

Documentation:
the class of components which require fuel input
Instance-Of: Class
Subclass-Of: Entity, Thermal-component
Arity: 1
Fuel-Supply-Rate:
Slot-Documentation:
the rate at which fuel is supplied to the fuel-consuming component
Has-Quantity-Function: Fuel-supply-rate, Heat-supply-rate
Heat-Supply-Rate:
Slot-Documentation:
the rate at which heat is supplied to the fuel-consuming component

Slots on instances of this class:

Fuel-Supply-Rate:
Slot-Cardinality: 1
Slot-Documentation:
the rate at which fuel is supplied to the fuel-consuming component
Heat-Supply-Rate:
Slot-Cardinality: 1
Slot-Documentation:
the rate at which heat is supplied to the fuel-consuming component

Axioms:

(Quantity.Dimension (Heat-Supply-Rate ?Self) Power-Dimension)

(Quantity.Dimension (Fuel-Supply-Rate ?Self) Mass-Dimension)

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

(Forall (?Self ?Time)
        (<=> (Active ?Time Fuel-Consuming-Component ?Self)
             (And (Fuel-Consuming-Component ?Self)
                  (Active ?Time Thermal-Component ?Self))))

Other Related Axioms:

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

(Forall (?Self ?Time)
        (<=> (Active ?Time Fuel-Consuming-Component ?Self)
             (And (Fuel-Consuming-Component ?Self)
                  (Active ?Time Thermal-Component ?Self))))

(Quantity-Function-Of Fuel-Supply-Rate Fuel-Consuming-Component)

(Quantity-Function-Of Heat-Supply-Rate Fuel-Consuming-Component)