Class AIR

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

Slots on this class:

Documentation: the substance air

Instance-Of: Class

Subclass-Of: Entity, Substance

Arity: 1

Range-Of: Air-in-cmpsr, Air-involved

Axioms:

(Forall (?Self ?Time)
        (=> (Active ?Time Air ?Self)
            (And (= (Lambda (?T)
                            (If (= ?T ?Time)
                                (Value-At (Molecular-Weight ?Self)
                                          ?T)))
                    28.97)
                 (= (Lambda (?T)
                            (If (= ?T ?Time)
                                (Value-At (Critical-Temperature ?Self)
                                          ?T)))
                    133)
                 (= (Lambda (?T)
                            (If (= ?T ?Time)
                                (Value-At (Critical-Pressure ?Self)
                                          ?T)))
                    37.7)
                 (= (Lambda (?T)
                            (If (= ?T ?Time)
                                (Value-At (Ideal-Gas-Constant ?Self)
                                          ?T)))
                    286.99))))

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

Other Related Axioms:

(Inherited-Facet-Value Slot-Value-Type
                       Air-Operating-Mode
                       Air-Involved
                       Air)

(Forall (?Self ?Air-Involved)
        (<=> (And (= (Air-Involved ?Self) ?Air-Involved)
                  (Air-Operating-Mode ?Self))
             (And (Operating-Mode-Model ?Self) (Air ?Air-Involved))))

(=> (Air-Operating-Mode ?Self)
    (And (Value-Cardinality ?Self Air-Involved 1)
         (Value-Type ?Self Air-Involved Air)
         (Value-Cardinality ?Self Air-Involved 1)))

(=> (Air-Involved $X $Y) (Air $Y))

(Forall (?Self ?Time)
        (=> (Active ?Time Air ?Self)
            (And (= (Lambda (?T)
                            (If (= ?T ?Time)
                                (Value-At (Molecular-Weight ?Self)
                                          ?T)))
                    28.97)
                 (= (Lambda (?T)
                            (If (= ?T ?Time)
                                (Value-At (Critical-Temperature ?Self)
                                          ?T)))
                    133)
                 (= (Lambda (?T)
                            (If (= ?T ?Time)
                                (Value-At (Critical-Pressure ?Self)
                                          ?T)))
                    37.7)
                 (= (Lambda (?T)
                            (If (= ?T ?Time)
                                (Value-At (Ideal-Gas-Constant ?Self)
                                          ?T)))
                    286.99))))

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

(Inherited-Facet-Value Slot-Value-Type
                       Compressor-System
                       Air-In-Cmpsr
                       Air)

(=> (Compressor-System ?Self)
    (And (Value-Cardinality ?Self Cmpsr 1)
         (Value-Type ?Self Cmpsr Compressor)
         (Value-Cardinality ?Self Cmpsr 1)
         (Value-Cardinality ?Self Cmpsr-Cv 1)
         (Value-Type ?Self Cmpsr-Cv 1-1-Control-Volume)
         (Value-Cardinality ?Self Cmpsr-Cv 1)
         (Value-Cardinality ?Self Cmpsn-Prcs 1)
         (Value-Type ?Self Cmpsn-Prcs Steady-Flow-Compression)
         (Value-Cardinality ?Self Cmpsn-Prcs 1)
         (Value-Cardinality ?Self Air-In-Cmpsr 1)
         (Value-Type ?Self Air-In-Cmpsr Air)
         (Value-Cardinality ?Self Air-In-Cmpsr 1)
         (Cv-Component (Cmpsr-Cv ?Self) (Cmpsr ?Self))
         (Component-Cv (Cmpsr ?Self) (Cmpsr-Cv ?Self))
         (Process-Cv (Cmpsn-Prcs ?Self) (Cmpsr-Cv ?Self))
         (Substance-In (Cmpsr-Cv ?Self) (Air-In-Cmpsr ?Self))))

(=> (Air-In-Cmpsr $X $Y) (Air $Y))