Class SUBSTANCE

Slots on this class:

Documentation:
the class of all types of matter
Instance-Of: Class
Subclass-Of: Entity, Structural-element-model
Arity: 1
Critical-Density:
Slot-Documentation:
the density of the substance at its critical point
Critical-Pressure:
Slot-Documentation:
the pressure at the critical point of the substance
Critical-Temperature:
Slot-Documentation:
the maximum temperature at which liquid and vapor phases can coexist in equilibrium
Domain-Of: Contained-in
Has-Quantity-Function:
Critical-density, Critical-pressure, Critical-temperature, Ideal-gas-constant, Ideal-gas-p, Ideal-specific-heat, Molecular-weight, Reference-temperature, Saturation-pressure, Saturation-temperature
Ideal-Gas-Constant:
Slot-Documentation:
the gas constant (universal gas constant / molecular weight) of the substance when it is modeled as ideal gas
Ideal-Gas-P:
Slot-Documentation:
the attribute indicating that the particular instance of the substance can be regarded as ideal gas
Ideal-Specific-Heat:
Slot-Documentation:
the specific heat of the substance when it is modeled as ideal gas
Molecular-Weight:
Slot-Documentation:
the molecular weight of the substance
Range-Of: Substance-in
Reference-Temperature:
Slot-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
Saturation-Pressure:
Slot-Documentation:
the pressure at which a phase change takes place at a given temperature
Saturation-Temperature:
Slot-Documentation:
the temperature at which a phase change takes place at a given pressure
Superclass-Of: Air, Fuel, Water

Slots on instances of this class:

Critical-Density:
Slot-Cardinality: 1
Slot-Documentation:
the density of the substance at its critical point
Critical-Pressure:
Slot-Cardinality: 1
Slot-Documentation:
the pressure at the critical point of the substance
Critical-Temperature:
Slot-Cardinality: 1
Slot-Documentation:
the maximum temperature at which liquid and vapor phases can coexist in equilibrium
Ideal-Gas-Constant:
Slot-Cardinality: 1
Slot-Documentation:
the gas constant (universal gas constant / molecular weight) of the substance when it is modeled as ideal gas
Ideal-Gas-P:
Slot-Cardinality: 1
Slot-Documentation:
the attribute indicating that the particular instance of the substance can be regarded as ideal gas
Ideal-Specific-Heat:
Slot-Cardinality: 1
Slot-Documentation:
the specific heat of the substance when it is modeled as ideal gas
Molecular-Weight:
Slot-Cardinality: 1
Slot-Documentation:
the molecular weight of the substance
Reference-Temperature:
Slot-Cardinality: 1
Slot-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
Saturation-Pressure:
Slot-Cardinality: 1
Slot-Documentation:
the pressure at which a phase change takes place at a given temperature
Saturation-Temperature:
Slot-Cardinality: 1
Slot-Documentation:
the temperature at which a phase change takes place at a given pressure

Axioms:

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

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

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

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

(Quantity.Dimension (Molecular-Weight ?Self) Amount-Dimension)

(Quantity.Dimension (Ideal-Specific-Heat ?Self)
                    Specific-Energy-Dimension)

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

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

(Forall (?Self ?Time)
        (<=> (Active ?Time Substance ?Self)
             (And (Substance ?Self)
                  (Active ?Time Structural-Element-Model ?Self))))

Other Related Axioms:

(Forall (?Self ?Time)
        (<=> (Active ?Time Fuel ?Self)
             (And (Fuel ?Self) (Active ?Time Substance ?Self))))

(=> (Substance-In $X $Y) (Substance $Y))

(Forall (?Self ?Time)
        (<=> (Active ?Time Substance ?Self)
             (And (Substance ?Self)
                  (Active ?Time Structural-Element-Model ?Self))))

(Quantity-Function-Of Saturation-Pressure Substance)

(Quantity-Function-Of Saturation-Temperature Substance)

(Quantity-Function-Of Ideal-Specific-Heat Substance)

(Quantity-Function-Of Molecular-Weight Substance)

(Quantity-Function-Of Critical-Temperature Substance)

(Quantity-Function-Of Critical-Pressure Substance)

(Quantity-Function-Of Critical-Density Substance)

(Quantity-Function-Of Reference-Temperature Substance)

(Quantity-Function-Of Ideal-Gas-Constant Substance)

(Quantity-Function-Of Ideal-Gas-P Substance)

(=> (Contained-In $X $Y) (Substance $X))

(Forall (?Self ?Time)
        (<=> (Active ?Time Water ?Self)
             (And (Water ?Self) (Active ?Time Substance ?Self))))

(Forall (?Self ?Time)
        (<=> (Active ?Time Air ?Self)
             (And (Air ?Self) (Active ?Time Substance ?Self))))