Class THERMAL-COMPONENT

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

Slots on this class:

Documentation: a thermodynamic device

Instance-Of: Class

Subclass-Of: Entity, Thermal-system

Arity: 1

Capacity:

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-Documentation:

the attribute indicating that the control volume is connected to an active external heat source

Efficiency:

Slot-Documentation:

the efficiency of a thermal component, which is defined differently depending on the type of component

Has-Quantity-Function: Capacity, Connected-to-external-heat-source-p, Efficiency

Range-Of: Component-involved, Cv-component

Superclass-Of:

1-input-thermal-component, 1-output-thermal-component, 2-input-thermal-component, 2-output-thermal-component, Cooling-component, Fuel-consuming-component, Heat-exchanger, Heating-component, Port, Positive-displacement-component, Rotating-component, Turbine, Work-consuming-component, Work-producing-component

---

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:

(Quantity.Dimension (Efficiency ?Self) Dimensionless)

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

Other Related Axioms:

(Inherited-Facet-Value Slot-Value-Type
                       Thermal-Component-Op-Mode
                       Component-Involved
                       Thermal-Component)

(Forall (?Self ?Component-Involved)
        (<=> (And (= (Component-Involved ?Self) ?Component-Involved)
                  (Thermal-Component-Op-Mode ?Self))
             (And (Operating-Mode-Model ?Self)
                  (Thermal-Component ?Component-Involved))))

(=> (Thermal-Component-Op-Mode ?Self)
    (And (Value-Cardinality ?Self Component-Involved 1)
         (Value-Type ?Self Component-Involved Thermal-Component)
         (Value-Cardinality ?Self Component-Involved 1)))

(=> (Component-Involved $X $Y) (Thermal-Component $Y))

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

(Quantity-Function-Of Efficiency Thermal-Component)

(Quantity-Function-Of Capacity Thermal-Component)

(Quantity-Function-Of Connected-To-External-Heat-Source-P
                      Thermal-Component)

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

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

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

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

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

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

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

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

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

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

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

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

(Forall (?Self ?Time)
        (<=> (Active ?Time Turbine ?Self)
             (And (Turbine ?Self)
                  (Active ?Time Thermal-Component ?Self)
                  (Active ?Time Work-Producing-Component ?Self))))

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

(=> (Cv-Component $X $Y) (Thermal-Component $Y))