Class THERMAL-COMPONENT

Slots on this class:

Documentation:
a thermodynamic device
Subclass-Of: Entity, Thermal-system
Arity: 1
Has-Quantity-Function: Capacity, Connected-to-external-heat-source-p, Efficiency

Slots on instances of this class:

Capacity:
Slot-Cardinality: 1
Slot-Documentation:
the capacity of a thermal component, which is defined differently depending on the type of the component
Connected-To-External-Heat-Source-P:
Slot-Cardinality: 1
Slot-Documentation:
the attribute indicating that the control volume is connected to an active external heat source
Efficiency:
Slot-Cardinality: 1
Slot-Documentation:
the efficiency of a thermal component, which is defined differently depending on the type of component

Axioms:

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

(=> (Thermal-Component ?Self)
    (Quantity.Dimension (Efficiency ?Self) Dimensionless))