Physical-dimension VOLUME-DIMENSION

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

Slots on this physical-dimension:

Instance-Of: Physical-dimension

Axioms:

(= Volume-Dimension (Expt Length-Dimension 3))

Other Related Axioms:

(= Specific-Volume-Dimension (/ Volume-Dimension Mass-Dimension))

(= Density-Dimension (/ Mass-Dimension Volume-Dimension))

(Quantity.Dimension (Displacement ?Self) Volume-Dimension)

(=> (Positive-Displacement-Component ?Self)
    (And (Value-Cardinality ?Self Displacement 1)
         (Quantity.Dimension (Displacement ?Self) Volume-Dimension)
         (Value-Cardinality ?Self Speed 1)
         (Quantity.Dimension (Speed ?Self) Frequency-Dimension)
         (Value-Cardinality ?Self Cycles-Rate 1)
         (Quantity.Dimension (Cycles-Rate ?Self) Frequency-Dimension)
         (Value-Cardinality ?Self Mean-Effective-Pressure 1)
         (Quantity.Dimension (Mean-Effective-Pressure ?Self)
                             Pressure-Dimension)
         (Value-Cardinality ?Self Volumetric-Efficiency 1)
         (Quantity.Dimension (Volumetric-Efficiency ?Self)
                             Dimensionless)
         (Value-Cardinality ?Self Clearance-Volume 1)
         (Quantity.Dimension (Clearance-Volume ?Self) Dimensionless)
         (Value-Cardinality ?Self Compression-Ratio 1)
         (Quantity.Dimension (Compression-Ratio ?Self) Dimensionless)))

(Quantity.Dimension (Cv-Volume ?Self) Volume-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)))