Class 2D-STREAM

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

Slots on this class:

Documentation: a 2-dimensional stream

Instance-Of: Class

Subclass-Of: Entity, Stream, Terminal

Arity: 1

Has-Quantity-Function: Stream-area

Range-Of:

2d-stream-involved, Inlet-stream, Inlet-stream1, Inlet-stream2, Inlet-stream3, Inlets, Outlet-stream, Outlet-stream1, Outlet-stream2, Outlets

Stream-Area:

Slot-Documentation:

cross sectional area of the stream

---

Slots on instances of this class:

Stream-Area:

Slot-Cardinality: 1

Slot-Documentation:

cross sectional area of the stream

Axioms:

(Quantity.Dimension (Stream-Area ?Self) Area-Dimension)

(Forall (?Self ?Time)
        (<=> (Active ?Time 2d-Stream ?Self)
             (And (2d-Stream ?Self)
                  (Active ?Time Stream ?Self)
                  (Active ?Time Terminal ?Self))))

Other Related Axioms:

(Forall (?Self ?Time)
        (<=> (Active ?Time 2d-Stream ?Self)
             (And (2d-Stream ?Self)
                  (Active ?Time Stream ?Self)
                  (Active ?Time Terminal ?Self))))

(Quantity-Function-Of Stream-Area 2d-Stream)

(=> (Inlets $X $Y) (2d-Stream $Y))

(=> (Outlets $X $Y) (2d-Stream $Y))

(Inherited-Facet-Value Slot-Value-Type
                       2d-Stream-Operating-Mode
                       2d-Stream-Involved
                       2d-Stream)

(Forall (?Self ?2d-Stream-Involved)
        (<=> (And (= (2d-Stream-Involved ?Self) ?2d-Stream-Involved)
                  (2d-Stream-Operating-Mode ?Self))
             (And (Operating-Mode-Model ?Self)
                  (2d-Stream ?2d-Stream-Involved))))

(=> (2d-Stream-Operating-Mode ?Self)
    (And (Value-Cardinality ?Self 2d-Stream-Involved 1)
         (Value-Type ?Self 2d-Stream-Involved 2d-Stream)
         (Value-Cardinality ?Self 2d-Stream-Involved 1)))

(=> (2d-Stream-Involved $X $Y) (2d-Stream $Y))

(Inherited-Facet-Value Slot-Value-Type
                       1-Input-Control-Volume
                       Inlet-Stream
                       2d-Stream)

(=> (1-Input-Control-Volume ?Self)
    (And (Value-Cardinality ?Self Inlet-Stream 1)
         (Value-Type ?Self Inlet-Stream 2d-Stream)
         (Value-Cardinality ?Self Inlet-Stream 1)))

(=> (Inlet-Stream $X $Y) (2d-Stream $Y))

(Inherited-Facet-Value Slot-Value-Type
                       1-Output-Control-Volume
                       Outlet-Stream
                       2d-Stream)

(=> (1-Output-Control-Volume ?Self)
    (And (Value-Cardinality ?Self Outlet-Stream 1)
         (Value-Type ?Self Outlet-Stream 2d-Stream)
         (Value-Cardinality ?Self Outlet-Stream 1)))

(=> (Outlet-Stream $X $Y) (2d-Stream $Y))

(Inherited-Facet-Value Slot-Value-Type
                       2-Input-Control-Volume
                       Inlet-Stream2
                       2d-Stream)

(Inherited-Facet-Value Slot-Value-Type
                       2-Input-Control-Volume
                       Inlet-Stream1
                       2d-Stream)

(=> (2-Input-Control-Volume ?Self)
    (And (Value-Cardinality ?Self Inlet-Stream1 1)
         (Value-Type ?Self Inlet-Stream1 2d-Stream)
         (Value-Cardinality ?Self Inlet-Stream1 1)
         (Value-Cardinality ?Self Inlet-Stream2 1)
         (Value-Type ?Self Inlet-Stream2 2d-Stream)
         (Value-Cardinality ?Self Inlet-Stream2 1)))

(=> (Inlet-Stream1 $X $Y) (2d-Stream $Y))

(=> (Inlet-Stream2 $X $Y) (2d-Stream $Y))

(Inherited-Facet-Value Slot-Value-Type
                       3-Input-Control-Volume
                       Inlet-Stream3
                       2d-Stream)

(=> (3-Input-Control-Volume ?Self)
    (And (Value-Cardinality ?Self Inlet-Stream3 1)
         (Value-Type ?Self Inlet-Stream3 2d-Stream)
         (Value-Cardinality ?Self Inlet-Stream3 1)))

(=> (Inlet-Stream3 $X $Y) (2d-Stream $Y))

(Inherited-Facet-Value Slot-Value-Type
                       2-Output-Control-Volume
                       Outlet-Stream2
                       2d-Stream)

(Inherited-Facet-Value Slot-Value-Type
                       2-Output-Control-Volume
                       Outlet-Stream1
                       2d-Stream)

(=> (2-Output-Control-Volume ?Self)
    (And (Value-Cardinality ?Self Outlet-Stream1 1)
         (Value-Type ?Self Outlet-Stream1 2d-Stream)
         (Value-Cardinality ?Self Outlet-Stream1 1)
         (Value-Cardinality ?Self Outlet-Stream2 1)
         (Value-Type ?Self Outlet-Stream2 2d-Stream)
         (Value-Cardinality ?Self Outlet-Stream2 1)))

(=> (Outlet-Stream1 $X $Y) (2d-Stream $Y))

(=> (Outlet-Stream2 $X $Y) (2d-Stream $Y))