Class THERMAL-PROCESS

Slots on this class:

Documentation:
the class of all thermal processes
Instance-Of: Class
Subclass-Of: Model-fragment
Arity: 1
Domain-Of: Process-cv
Entropy-Generation-Rate:
Slot-Documentation:
the rate at which entropy is generated by the process
Has-Quantity-Function:
Entropy-generation-rate, Heat-rate, Heat-transfer-temperature, Internally-reversible-p, Irreversibility-rate, Work-rate
Heat-Rate:
Slot-Documentation:
the rate at which energy is transferred in across the system boundary by heat transfer
Heat-Transfer-Temperature:
Slot-Documentation:
the temperatue at which energy is transferred in across the system boundary by heat transfer
Internally-Reversible-P:
Slot-Documentation:
the attribute indicating that the process is internally reversible
Irreversibility-Rate:
Slot-Documentation:
the rate of the destruction of availability due to ierreversibilities within the process
Range-Of: Cycle-processes, Process-involved
Superclass-Of: Non-steady-state-flow-process, Steady-state-steady-flow-process
Work-Rate:
Slot-Documentation:
the rate at which energy is trasferred out across the system boundary by work

Slots on instances of this class:

Entropy-Generation-Rate:
Slot-Cardinality: 1
Slot-Documentation:
the rate at which entropy is generated by the process
Heat-Rate:
Slot-Cardinality: 1
Slot-Documentation:
the rate at which energy is transferred in across the system boundary by heat transfer
Heat-Transfer-Temperature:
Slot-Cardinality: 1
Slot-Documentation:
the temperatue at which energy is transferred in across the system boundary by heat transfer
Internally-Reversible-P:
Slot-Cardinality: 1
Slot-Documentation:
the attribute indicating that the process is internally reversible
Irreversibility-Rate:
Slot-Cardinality: 1
Slot-Documentation:
the rate of the destruction of availability due to ierreversibilities within the process
Work-Rate:
Slot-Cardinality: 1
Slot-Documentation:
the rate at which energy is trasferred out across the system boundary by work

Axioms:

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

(Quantity.Dimension (Entropy-Generation-Rate ?Self)
                    Entropy-Rate-Dimension)

(Quantity.Dimension (Heat-Transfer-Temperature ?Self)
                    Temperature-Dimension)

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

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

(Forall (?Self ?Time)
        (<=> (Active ?Time Thermal-Process ?Self)
             (Thermal-Process ?Self)))

Other Related Axioms:

(=> (Cycle-Processes $X $Y) (Thermal-Process $Y))

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

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

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

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

(Forall (?Self ?Time)
        (<=> (Active ?Time Thermal-Process ?Self)
             (Thermal-Process ?Self)))

(Quantity-Function-Of Work-Rate Thermal-Process)

(Quantity-Function-Of Heat-Rate Thermal-Process)

(Quantity-Function-Of Heat-Transfer-Temperature Thermal-Process)

(Quantity-Function-Of Entropy-Generation-Rate Thermal-Process)

(Quantity-Function-Of Irreversibility-Rate Thermal-Process)

(Quantity-Function-Of Internally-Reversible-P Thermal-Process)

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

(Forall (?Self ?Time)
        (<=> (Active ?Time Steady-State-Steady-Flow-Process ?Self)
             (And (Steady-State-Steady-Flow-Process ?Self)
                  (Active ?Time Thermal-Process ?Self))))

(Forall (?Self ?Time)
        (<=> (Active ?Time Non-Steady-State-Flow-Process ?Self)
             (And (Non-Steady-State-Flow-Process ?Self)
                  (Active ?Time Thermal-Process ?Self))))