Physical-dimension TEMPERATURE-DIMENSION

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

Slots on this physical-dimension:

Documentation:

The SI dimension of temperature.

Instance-Of: Physical-dimension

Other Related Axioms:

(= Entropy-Dimension (/ Energy-Dimension Temperature-Dimension))

(Quantity.Dimension Kelvin Temperature-Dimension)

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

(=> (Heat-Exchanger ?Self)
    (And (Value-Cardinality ?Self Area 1)
         (Quantity.Dimension (Area ?Self) Area-Dimension)
         (Value-Cardinality ?Self
                            Overall-Heat-Transfer-Coefficient
                            1)
         (Quantity.Dimension (Overall-Heat-Transfer-Coefficient ?Self)
                             Dimensionless)
         (Value-Cardinality ?Self Heat-Transfer-Rate 1)
         (Quantity.Dimension (Heat-Transfer-Rate ?Self)
                             Power-Dimension)
         (Value-Cardinality ?Self Max-Pressure 1)
         (Quantity.Dimension (Max-Pressure ?Self) Pressure-Dimension)
         (Value-Cardinality ?Self Max-Temperature 1)
         (Quantity.Dimension (Max-Temperature ?Self)
                             Temperature-Dimension)
         (Value-Cardinality ?Self Max-Heat-Rate 1)
         (Quantity.Dimension (Max-Heat-Rate ?Self) Power-Dimension)
         (Value-Cardinality ?Self Ideal-Heat-Rate 1)
         (Quantity.Dimension (Ideal-Heat-Rate ?Self) Power-Dimension)))

(Quantity.Dimension (D-Log-Mean-Temperature ?Self)
                    Temperature-Dimension)

(Quantity.Dimension (Cold-Flow-Temperature-Out ?Self)
                    Temperature-Dimension)

(Quantity.Dimension (Hot-Flow-Temperature-In ?Self)
                    Temperature-Dimension)

(=> (4-Port-Heat-Exchanger ?Self)
    (And (Value-Cardinality ?Self Hot-Flow 1)
         (Value-Type ?Self Hot-Flow 2-Port-Heat-Exchanger)
         (Value-Cardinality ?Self Hot-Flow 1)
         (Value-Cardinality ?Self Cold-Flow 1)
         (Value-Type ?Self Cold-Flow 2-Port-Heat-Exchanger)
         (Value-Cardinality ?Self Cold-Flow 1)
         (Value-Cardinality ?Self Effectiveness 1)
         (Quantity.Dimension (Effectiveness ?Self) Dimensionless)
         (Value-Cardinality ?Self Hot-Flow-Temperature-In 1)
         (Quantity.Dimension (Hot-Flow-Temperature-In ?Self)
                             Temperature-Dimension)
         (Value-Cardinality ?Self Cold-Flow-Temperature-Out 1)
         (Quantity.Dimension (Cold-Flow-Temperature-Out ?Self)
                             Temperature-Dimension)
         (Value-Cardinality ?Self D-Log-Mean-Temperature 1)
         (Quantity.Dimension (D-Log-Mean-Temperature ?Self)
                             Temperature-Dimension)
         (Value-Cardinality ?Self D-Pressure-Hot 1)
         (Quantity.Dimension (D-Pressure-Hot ?Self)
                             Pressure-Dimension)
         (Value-Cardinality ?Self D-Pressure-Cold 1)
         (Quantity.Dimension (D-Pressure-Cold ?Self)
                             Pressure-Dimension)))

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

(=> (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)))

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

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

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

(=> (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)))

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

(=> (Thermal-Process ?Self)
    (And (Value-Cardinality ?Self Work-Rate 1)
         (Quantity.Dimension (Work-Rate ?Self) Power-Dimension)
         (Value-Cardinality ?Self Heat-Rate 1)
         (Quantity.Dimension (Heat-Rate ?Self) Power-Dimension)
         (Value-Cardinality ?Self Heat-Transfer-Temperature 1)
         (Quantity.Dimension (Heat-Transfer-Temperature ?Self)
                             Temperature-Dimension)
         (Value-Cardinality ?Self Entropy-Generation-Rate 1)
         (Quantity.Dimension (Entropy-Generation-Rate ?Self)
                             Entropy-Rate-Dimension)
         (Value-Cardinality ?Self Irreversibility-Rate 1)
         (Quantity.Dimension (Irreversibility-Rate ?Self)
                             Power-Dimension)
         (Value-Cardinality ?Self Internally-Reversible-P 1)))

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

(=> (*Dead-State* ?Self)
    (And (Value-Cardinality ?Self State-Temperature 1)
         (Quantity.Dimension (State-Temperature ?Self)
                             Temperature-Dimension)
         (Value-Cardinality ?Self State-Pressure 1)
         (Quantity.Dimension (State-Pressure ?Self)
                             Pressure-Dimension)
         (Value-Cardinality ?Self State-Entropy 1)
         (Quantity.Dimension (State-Entropy ?Self) Entropy-Dimension)))