Class STREAM-JUNCTION

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

Slots on this class:

Documentation:

a junction between streams

Subclass-Of: Entity, Junction

Arity: 1

Axioms:

(Forall (?Self ?Time)
        (=> (Active ?Time Stream-Junction ?Self)
            (And (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Mass-Rate ?Terminal ?X))))
                 (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Stream-Pressure ?Terminal ?X))))
                 (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Specific-Enthalpy ?Terminal
                                                         ?X))))
                 (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Specific-Entropy ?Terminal ?X))))
                 (All= ?Time
                       (Setofall 
                           ?X
                           (And (Connected-Terminals ?Self ?Terminal)
                                (Specific-Internal-Energy ?Terminal
                                                          ?X))))
                 (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Stream-Temperature ?Terminal
                                                          ?X))))
                 (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Quality ?Terminal ?X))))
                 (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Specific-Volume ?Terminal ?X)))))))

(Forall (?Self ?Time)
        (<=> (Active ?Time Stream-Junction ?Self)
             (And (Stream-Junction ?Self)
                  (Active ?Time Junction ?Self))))