Class AIR

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

Slots on this class:

Documentation:

the substance air

Subclass-Of: Entity, Substance

Arity: 1

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