Class 2D-STREAM

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

Slots on this class:

Documentation:

a 2-dimensional stream

Subclass-Of: Entity, Stream, Terminal

Arity: 1

Has-Quantity-Function: Stream-area

---

Slots on instances of this class:

Stream-Area:

Slot-Cardinality: 1

Slot-Documentation:

cross sectional area of the stream

Axioms:

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

(=> (2d-Stream ?Self)
    (Quantity.Dimension (Stream-Area ?Self) Area-Dimension))