Function REFERENCE-TEMPERATURE

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

Slots on this function:

Documentation:

the temperature of the reference state, which is the thermodynamic state with respect to which the values of the state variables, internal energy, specific enthalpy, and specific entropy in all other states are computed

Instance-Of: Function, Quantity-function

Arity: 2

Range: Everywhere-continuous-quantity

Other Related Axioms:

(Inherited-Facet-Value 
    Slot-Documentation
    Substance
    Reference-Temperature
    The Temperature Of The Reference State, Which Is The Thermodynamic State With Respect To Which The Values Of The State Variables, Internal Energy, Specific Enthalpy, And Specific Entropy  In All Other States Are Computed)

(Quantity.Dimension (Reference-Temperature ?Self)
                    Temperature-Dimension)

(Inherited-Facet-Value Slot-Cardinality
                       Substance
                       Reference-Temperature
                       1)

(Has-Quantity-Function Substance Reference-Temperature)

(Slot-Documentation 
    Substance
    Reference-Temperature
    The Temperature Of The Reference State, Which Is The Thermodynamic State With Respect To Which The Values Of The State Variables, Internal Energy, Specific Enthalpy, And Specific Entropy  In All Other States Are Computed)

(=> (Substance ?Self)
    (And (Value-Cardinality ?Self Saturation-Pressure 1)
         (Quantity.Dimension (Saturation-Pressure ?Self)
                             Pressure-Dimension)
         (Value-Cardinality ?Self Saturation-Temperature 1)
         (Quantity.Dimension (Saturation-Temperature ?Self)
                             Temperature-Dimension)
         (Value-Cardinality ?Self Ideal-Specific-Heat 1)
         (Quantity.Dimension (Ideal-Specific-Heat ?Self)
                             Specific-Energy-Dimension)
         (Value-Cardinality ?Self Molecular-Weight 1)
         (Quantity.Dimension (Molecular-Weight ?Self)
                             Amount-Dimension)
         (Value-Cardinality ?Self Critical-Temperature 1)
         (Quantity.Dimension (Critical-Temperature ?Self)
                             Temperature-Dimension)
         (Value-Cardinality ?Self Critical-Pressure 1)
         (Quantity.Dimension (Critical-Pressure ?Self)
                             Pressure-Dimension)
         (Value-Cardinality ?Self Critical-Density 1)
         (Quantity.Dimension (Critical-Density ?Self)
                             Density-Dimension)
         (Value-Cardinality ?Self Reference-Temperature 1)
         (Quantity.Dimension (Reference-Temperature ?Self)
                             Temperature-Dimension)
         (Value-Cardinality ?Self Ideal-Gas-Constant 1)
         (Value-Cardinality ?Self Ideal-Gas-P 1)))

(=> (Reference-Temperature $X $Y)
    (Everywhere-Continuous-Quantity $Y))

(Forall (?Self ?Time)
        (=> (Active ?Time Water ?Self)
            (And (= (Lambda (?T)
                            (If (= ?T ?Time)
                                (Value-At (Molecular-Weight ?Self)
                                          ?T)))
                    18.016)
                 (= (Lambda (?T)
                            (If (= ?T ?Time)
                                (Value-At (Critical-Temperature ?Self)
                                          ?T)))
                    647.286)
                 (= (Lambda (?T)
                            (If (= ?T ?Time)
                                (Value-At (Critical-Pressure ?Self)
                                          ?T)))
                    22.089)
                 (= (Lambda (?T)
                            (If (= ?T ?Time)
                                (Value-At (Critical-Density ?Self)
                                          ?T)))
                    317.0)
                 (= (Lambda (?T)
                            (If (= ?T ?Time)
                                (Value-At (Reference-Temperature ?Self)
                                          ?T)))
                    273.16)
                 (= (Lambda (?T)
                            (If (= ?T ?Time)
                                (Value-At (Ideal-Gas-Constant ?Self)
                                          ?T)))
                    461.51))))