Function SPECIFIC-INTERNAL-ENERGY

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

Slots on this function:

Documentation:

the internal energy of the fluid per unit of mass

Instance-Of: Function, Quantity-function

Arity: 2

Range: Everywhere-continuous-quantity

Other Related Axioms:

(Inherited-Facet-Value 
    Slot-Documentation
    Stream
    Specific-Internal-Energy
    The Internal Energy Of The Fluid Per Unit Of Mass)

(Quantity.Dimension (Specific-Internal-Energy ?Self)
                    Specific-Energy-Dimension)

(Inherited-Facet-Value Slot-Cardinality
                       Stream
                       Specific-Internal-Energy
                       1)

(Has-Quantity-Function Stream Specific-Internal-Energy)

(Slot-Documentation Stream
                    Specific-Internal-Energy
                    The Internal Energy Of The Fluid Per Unit Of Mass)

(=> (Stream ?Self)
    (And (Value-Cardinality ?Self Stream-Elevation 1)
         (Quantity.Dimension (Stream-Elevation ?Self)
                             Length-Dimension)
         (Value-Cardinality ?Self Enthalpy-Rate 1)
         (Quantity.Dimension (Enthalpy-Rate ?Self) Power-Dimension)
         (Value-Cardinality ?Self Entropy-Rate 1)
         (Quantity.Dimension (Entropy-Rate ?Self)
                             Entropy-Rate-Dimension)
         (Value-Cardinality ?Self Ke-Rate 1)
         (Quantity.Dimension (Ke-Rate ?Self) Power-Dimension)
         (Value-Cardinality ?Self Mass-Rate 1)
         (Quantity.Dimension (Mass-Rate ?Self) Mass-Rate-Dimension)
         (Value-Cardinality ?Self Pe-Rate 1)
         (Quantity.Dimension (Pe-Rate ?Self) Power-Dimension)
         (Value-Cardinality ?Self Stream-Pressure 1)
         (Quantity.Dimension (Stream-Pressure ?Self)
                             Pressure-Dimension)
         (Value-Cardinality ?Self Specific-Enthalpy 1)
         (Quantity.Dimension (Specific-Enthalpy ?Self)
                             Specific-Energy-Dimension)
         (Value-Cardinality ?Self Specific-Entropy 1)
         (Quantity.Dimension (Specific-Entropy ?Self)
                             Specific-Entropy-Dimension)
         (Value-Cardinality ?Self Specific-Internal-Energy 1)
         (Quantity.Dimension (Specific-Internal-Energy ?Self)
                             Specific-Energy-Dimension)
         (Value-Cardinality ?Self Stream-Temperature 1)
         (Quantity.Dimension (Stream-Temperature ?Self)
                             Temperature-Dimension)
         (Value-Cardinality ?Self Velocity 1)
         (Quantity.Dimension (Velocity ?Self) Velocity-Dimension)
         (Value-Cardinality ?Self Quality 1)
         (Quantity.Dimension (Quality ?Self) Dimensionless)
         (Value-Cardinality ?Self Specific-Volume 1)
         (Quantity.Dimension (Specific-Volume ?Self)
                             Specific-Volume-Dimension)
         (Value-Cardinality ?Self Saturated-P 1)))

(=> (Specific-Internal-Energy $X $Y)
    (Everywhere-Continuous-Quantity $Y))

(Forall (?Self ?Time)
        (=> (Active ?Time Stream-Junction ?Self)
            (And (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Mass-Rate ?Terminal ?X))))
                 (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Stream-Pressure ?Terminal ?X))))
                 (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Specific-Enthalpy ?Terminal
                                                         ?X))))
                 (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Specific-Entropy ?Terminal ?X))))
                 (All= ?Time
                       (Setofall 
                           ?X
                           (And (Connected-Terminals ?Self ?Terminal)
                                (Specific-Internal-Energy ?Terminal
                                                          ?X))))
                 (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Stream-Temperature ?Terminal
                                                          ?X))))
                 (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Quality ?Terminal ?X))))
                 (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Specific-Volume ?Terminal ?X)))))))