Function TBN-CND-JUNCTION

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

Slots on this function:

Documentation: a stream junction

Instance-Of: Function

Arity: 2

Range: Stream-junction

Other Related Axioms:

(Inherited-Facet-Value Slot-Documentation
                       Power-System-Eight-One
                       Tbn-Cnd-Junction
                       A Stream Junction)

(Connected-Terminals (Tbn-Cnd-Junction ?Self)
                     (Inlet-Stream (Hf-Cv (Cdnsr-System ?Self))))

(Connected-Terminals (Tbn-Cnd-Junction ?Self)
                     (Outlet-Stream (Tbn-Cv (Tbn-System ?Self))))

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-Eight-One
                       Tbn-Cnd-Junction
                       Stream-Junction)

(Inherited-Facet-Value Slot-Cardinality
                       Power-System-Eight-One
                       Tbn-Cnd-Junction
                       1)

(Has-Attribute-Function Power-System-Eight-One Tbn-Cnd-Junction)

(Slot-Documentation Power-System-Eight-One
                    Tbn-Cnd-Junction
                    A Stream Junction)

(=> (Power-System-Eight-One ?Self)
    (And (Value-Cardinality ?Self Blr-System 1)
         (Value-Type ?Self Blr-System Boiler-System)
         (Value-Cardinality ?Self Blr-System 1)
         (Value-Cardinality ?Self Tbn-System 1)
         (Value-Type ?Self Tbn-System Turbine-System)
         (Value-Cardinality ?Self Tbn-System 1)
         (Value-Cardinality ?Self Cdnsr-System 1)
         (Value-Type ?Self Cdnsr-System Condensor-System)
         (Value-Cardinality ?Self Cdnsr-System 1)
         (Value-Cardinality ?Self Pmp-System 1)
         (Value-Type ?Self Pmp-System Pump-System)
         (Value-Cardinality ?Self Pmp-System 1)
         (Value-Cardinality ?Self Cnd-Pmp-Junction 1)
         (Value-Type ?Self Cnd-Pmp-Junction Stream-Junction)
         (Value-Cardinality ?Self Cnd-Pmp-Junction 1)
         (Value-Cardinality ?Self Blr-Tbn-Junction 1)
         (Value-Type ?Self Blr-Tbn-Junction Stream-Junction)
         (Value-Cardinality ?Self Blr-Tbn-Junction 1)
         (Value-Cardinality ?Self Tbn-Cnd-Junction 1)
         (Value-Type ?Self Tbn-Cnd-Junction Stream-Junction)
         (Value-Cardinality ?Self Tbn-Cnd-Junction 1)
         (Value-Cardinality ?Self Pmp-Blr-Junction 1)
         (Value-Type ?Self Pmp-Blr-Junction Stream-Junction)
         (Value-Cardinality ?Self Pmp-Blr-Junction 1)
         (Value-Cardinality ?Self Working-Fluid-In-Cycle 1)
         (Value-Type ?Self Working-Fluid-In-Cycle Water)
         (Value-Cardinality ?Self Working-Fluid-In-Cycle 1)
         (Connected-Terminals (Blr-Tbn-Junction ?Self)
                              (Outlet-Stream (Blr-Cv (Blr-System ?Self))))
         (Connected-Terminals (Blr-Tbn-Junction ?Self)
                              (Inlet-Stream (Tbn-Cv (Tbn-System ?Self))))
         (Connected-Terminals (Tbn-Cnd-Junction ?Self)
                              (Outlet-Stream (Tbn-Cv (Tbn-System ?Self))))
         (Connected-Terminals (Tbn-Cnd-Junction ?Self)
                              (Inlet-Stream (Hf-Cv (Cdnsr-System ?Self))))
         (Connected-Terminals (Cnd-Pmp-Junction ?Self)
                              (Outlet-Stream (Hf-Cv (Cdnsr-System ?Self))))
         (Connected-Terminals (Cnd-Pmp-Junction ?Self)
                              (Inlet-Stream (Pmp-Cv (Pmp-System ?Self))))
         (Connected-Terminals (Pmp-Blr-Junction ?Self)
                              (Outlet-Stream (Pmp-Cv (Pmp-System ?Self))))
         (Connected-Terminals (Pmp-Blr-Junction ?Self)
                              (Inlet-Stream (Blr-Cv (Blr-System ?Self))))))

(=> (Tbn-Cnd-Junction $X $Y) (Stream-Junction $Y))