Class WATER

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

Slots on this class:

Documentation:

the substance water

Subclass-Of: Entity, Substance

Arity: 1

Axioms:

(Forall (?Self ?Time)
        (=> (Active ?Time Water ?Self)
            (And (= (Lambda (?T)
                            (If (= ?T ?Time)
                                (Value-At (Molecular-Weight ?Self)
                                          ?T)))
                    18.016)
                 (= (Lambda (?T)
                            (If (= ?T ?Time)
                                (Value-At (Critical-Temperature ?Self)
                                          ?T)))
                    647.286)
                 (= (Lambda (?T)
                            (If (= ?T ?Time)
                                (Value-At (Critical-Pressure ?Self)
                                          ?T)))
                    22.089)
                 (= (Lambda (?T)
                            (If (= ?T ?Time)
                                (Value-At (Critical-Density ?Self)
                                          ?T)))
                    317.0)
                 (= (Lambda (?T)
                            (If (= ?T ?Time)
                                (Value-At (Reference-Temperature ?Self)
                                          ?T)))
                    273.16)
                 (= (Lambda (?T)
                            (If (= ?T ?Time)
                                (Value-At (Ideal-Gas-Constant ?Self)
                                          ?T)))
                    461.51))))

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