Function HEATING-RATE

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

Slots on this function:

Documentation:

the rate at which the component supplies heat

Instance-Of: Function, Quantity-function

Arity: 2

Range: Everywhere-continuous-quantity

Other Related Axioms:

(Inherited-Facet-Value Slot-Documentation
                       Heating-Component
                       Heating-Rate
                       The Rate At Which The Component Supplies Heat)

(Quantity.Dimension (Heating-Rate ?Self) Power-Dimension)

(Inherited-Facet-Value Slot-Cardinality
                       Heating-Component
                       Heating-Rate
                       1)

(Has-Quantity-Function Heating-Component Heating-Rate)

(Slot-Documentation Heating-Component
                    Heating-Rate
                    The Rate At Which The Component Supplies Heat)

(=> (Heating-Component ?Self)
    (And (Value-Cardinality ?Self Heating-Rate 1)
         (Quantity.Dimension (Heating-Rate ?Self) Power-Dimension)))

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