Class 2D-STREAM


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))