Physical-dimension POWER-DIMENSION


Slots on this physical-dimension:

Instance-Of: Physical-dimension

Axioms:

(= Power-Dimension (/ Work-Dimension Time-Dimension))


Other Related Axioms:

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

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

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

(=> (Thermal-Cycle ?Self)
    (And (Value-Cardinality ?Self Net-Heat-Output-Rate 1)
         (Quantity.Dimension (Net-Heat-Output-Rate ?Self)
                             Power-Dimension)
         (Value-Cardinality ?Self Net-Work-Output-Rate 1)
         (Quantity.Dimension (Net-Work-Output-Rate ?Self)
                             Power-Dimension)
         (Value-Cardinality ?Self Net-Heat-Input-Rate 1)
         (Quantity.Dimension (Net-Heat-Input-Rate ?Self)
                             Power-Dimension)
         (Value-Cardinality ?Self Thermal-Efficiency 1)
         (Quantity.Dimension (Thermal-Efficiency ?Self)
                             Dimensionless)
         (Value-Cardinality ?Self Back-Work-Ratio 1)
         (Quantity.Dimension (Back-Work-Ratio ?Self) Dimensionless)
         (Value-Cardinality ?Self Cycle-Mass-Rate 1)
         (Quantity.Dimension (Cycle-Mass-Rate ?Self)
                             Mass-Rate-Dimension)))

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

(=> (Fuel-Consuming-Component ?Self)
    (And (Value-Cardinality ?Self Fuel-Supply-Rate 1)
         (Quantity.Dimension (Fuel-Supply-Rate ?Self) Mass-Dimension)
         (Value-Cardinality ?Self Heat-Supply-Rate 1)
         (Quantity.Dimension (Heat-Supply-Rate ?Self)
                             Power-Dimension)))

(Quantity.Dimension (Power-Input ?Self) Power-Dimension)

(=> (Work-Consuming-Component ?Self)
    (And (Value-Cardinality ?Self Power-Input 1)
         (Quantity.Dimension (Power-Input ?Self) Power-Dimension)))

(Quantity.Dimension (Power-Output ?Self) Power-Dimension)

(=> (Work-Producing-Component ?Self)
    (And (Value-Cardinality ?Self Power-Output 1)
         (Quantity.Dimension (Power-Output ?Self) Power-Dimension)))

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

(=> (Heating-Component ?Self)
    (And (Value-Cardinality ?Self Heating-Rate 1)
         (Quantity.Dimension (Heating-Rate ?Self) Power-Dimension)))

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

(=> (Cooling-Component ?Self)
    (And (Value-Cardinality ?Self Cooling-Rate 1)
         (Quantity.Dimension (Cooling-Rate ?Self) Power-Dimension)))

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

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

(Quantity.Dimension (Heat-Transfer-Rate ?Self) Power-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 (Pe-Rate ?Self) Power-Dimension)

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

(Quantity.Dimension (Enthalpy-Rate ?Self) Power-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 (D-Ke-Rate ?Self) Power-Dimension)

(Quantity.Dimension (D-Pe-Rate ?Self) Power-Dimension)

(Quantity.Dimension (Pe-Rate-Out ?Self) Power-Dimension)

(Quantity.Dimension (Pe-Rate-In ?Self) Power-Dimension)

(Quantity.Dimension (Ke-Rate-Out ?Self) Power-Dimension)

(Quantity.Dimension (Ke-Rate-In ?Self) Power-Dimension)

(Quantity.Dimension (Enthalpy-Rate-Out ?Self) Power-Dimension)

(Quantity.Dimension (Enthalpy-Rate-In ?Self) Power-Dimension)

(=> (Control-Volume ?Self)
    (And (Value-Cardinality ?Self Enthalpy-Rate-In 1)
         (Quantity.Dimension (Enthalpy-Rate-In ?Self)
                             Power-Dimension)
         (Value-Cardinality ?Self Enthalpy-Rate-Out 1)
         (Quantity.Dimension (Enthalpy-Rate-Out ?Self)
                             Power-Dimension)
         (Value-Cardinality ?Self Entropy-Rate-In 1)
         (Quantity.Dimension (Entropy-Rate-In ?Self)
                             Entropy-Rate-Dimension)
         (Value-Cardinality ?Self Entropy-Rate-Out 1)
         (Quantity.Dimension (Entropy-Rate-Out ?Self)
                             Entropy-Rate-Dimension)
         (Value-Cardinality ?Self D-Entropy-Rate 1)
         (Quantity.Dimension (D-Entropy-Rate ?Self)
                             Entropy-Rate-Dimension)
         (Value-Cardinality ?Self Ke-Rate-In 1)
         (Quantity.Dimension (Ke-Rate-In ?Self) Power-Dimension)
         (Value-Cardinality ?Self Ke-Rate-Out 1)
         (Quantity.Dimension (Ke-Rate-Out ?Self) Power-Dimension)
         (Value-Cardinality ?Self Mass-Rate-In 1)
         (Quantity.Dimension (Mass-Rate-In ?Self)
                             Mass-Rate-Dimension)
         (Value-Cardinality ?Self Mass-Rate-Out 1)
         (Quantity.Dimension (Mass-Rate-Out ?Self)
                             Mass-Rate-Dimension)
         (Value-Cardinality ?Self Pe-Rate-In 1)
         (Quantity.Dimension (Pe-Rate-In ?Self) Power-Dimension)
         (Value-Cardinality ?Self Pe-Rate-Out 1)
         (Quantity.Dimension (Pe-Rate-Out ?Self) Power-Dimension)
         (Value-Cardinality ?Self Cv-Elevation 1)
         (Quantity.Dimension (Cv-Elevation ?Self) Length-Dimension)
         (Value-Cardinality ?Self Cv-Pe 1)
         (Quantity.Dimension (Cv-Pe ?Self) Energy-Dimension)
         (Value-Cardinality ?Self Cv-Ke 1)
         (Quantity.Dimension (Cv-Ke ?Self) Energy-Dimension)
         (Value-Cardinality ?Self Cv-Enthalpy 1)
         (Quantity.Dimension (Cv-Enthalpy ?Self) Energy-Dimension)
         (Value-Cardinality ?Self Cv-Entropy 1)
         (Quantity.Dimension (Cv-Entropy ?Self) Entropy-Dimension)
         (Value-Cardinality ?Self Cv-Internal-Energy 1)
         (Quantity.Dimension (Cv-Internal-Energy ?Self)
                             Energy-Dimension)
         (Value-Cardinality ?Self Cv-Energy 1)
         (Quantity.Dimension (Cv-Energy ?Self) Energy-Dimension)
         (Value-Cardinality ?Self Energy-Rate 1)
         (Quantity.Dimension (Energy-Rate ?Self)
                             Energy-Rate-Dimension)
         (Value-Cardinality ?Self Internal-Energy-Rate 1)
         (Quantity.Dimension (Internal-Energy-Rate ?Self)
                             Energy-Rate-Dimension)
         (Value-Cardinality ?Self Cv-Mass 1)
         (Quantity.Dimension (Cv-Mass ?Self) Mass-Dimension)
         (Value-Cardinality ?Self Cv-Volume 1)
         (Quantity.Dimension (Cv-Volume ?Self) Volume-Dimension)
         (Value-Cardinality ?Self D-Pe-Rate 1)
         (Quantity.Dimension (D-Pe-Rate ?Self) Power-Dimension)
         (Value-Cardinality ?Self D-Ke-Rate 1)
         (Quantity.Dimension (D-Ke-Rate ?Self) Power-Dimension)
         (Value-Cardinality ?Self Even-Pe 1)
         (Value-Cardinality ?Self Even-Ke 1)))

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

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

(Quantity.Dimension (Work-Rate ?Self) Power-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 (Condensor-Heat-Out-Rate ?Self) Power-Dimension)

(=> (Condensor-System ?Self)
    (And (Value-Cardinality ?Self Cnd-Cv 1)
         (Value-Type ?Self Cnd-Cv Control-Volume)
         (Value-Cardinality ?Self Cnd-Cv 1)
         (Value-Cardinality ?Self Adbtc-Hxg-Prcs 1)
         (Value-Type ?Self
                     Adbtc-Hxg-Prcs
                     Steady-Flow-Adiabatic-Heat-Exchange)
         (Value-Cardinality ?Self Adbtc-Hxg-Prcs 1)
         (Value-Cardinality ?Self Cf-Cv 1)
         (Value-Type ?Self Cf-Cv 1-1-Control-Volume)
         (Value-Cardinality ?Self Cf-Cv 1)
         (Value-Cardinality ?Self Hf-Cv 1)
         (Value-Type ?Self Hf-Cv 1-1-Control-Volume)
         (Value-Cardinality ?Self Hf-Cv 1)
         (Value-Cardinality ?Self Water-In-Cnd 1)
         (Value-Type ?Self Water-In-Cnd Water)
         (Value-Cardinality ?Self Water-In-Cnd 1)
         (Value-Cardinality ?Self Condensor-Heat-Out-Rate 1)
         (Quantity.Dimension (Condensor-Heat-Out-Rate ?Self)
                             Power-Dimension)
         (Cv-Component (Cnd-Cv ?Self) (Cnd ?Self))
         (Component-Cv (Cnd ?Self) (Cnd-Cv ?Self))
         (Process-Cv (Adbtc-Hxg-Prcs ?Self) (Cnd-Cv ?Self))
         (Cv-Component (Cf-Cv ?Self) (Cold-Flow (Cnd ?Self)))
         (Component-Cv (Cold-Flow (Cnd ?Self)) (Cf-Cv ?Self))
         (Cv-Component (Hf-Cv ?Self) (Hot-Flow (Cnd ?Self)))
         (Component-Cv (Hot-Flow (Cnd ?Self)) (Hf-Cv ?Self))
         (Substance-In (Cnd-Cv ?Self) (Water-In-Cnd ?Self))
         (Substance-In (Hf-Cv ?Self) (Water-In-Cnd ?Self))
         (Substance-In (Inlet-Stream (Hf-Cv ?Self))
                       (Water-In-Cnd ?Self))
         (Substance-In (Outlet-Stream (Hf-Cv ?Self))
                       (Water-In-Cnd ?Self))
         (Substance-In (Cf-Cv ?Self) (Water-In-Cnd ?Self))
         (Substance-In (Inlet-Stream (Cf-Cv ?Self))
                       (Water-In-Cnd ?Self))
         (Substance-In (Outlet-Stream (Cf-Cv ?Self))
                       (Water-In-Cnd ?Self))))