Class 3-INPUT-THERMAL-COMPONENT

Slots on this class:

Documentation:
the class of thermal components with three inlets
Instance-Of: Class
Subclass-Of: 2-input-thermal-component, Entity
Arity: 1
Component-Inlet3:
Slot-Documentation: the third inlet port
Has-Attribute-Function: Component-inlet3
Superclass-Of: 3-1-port-thermal-component

Slots on instances of this class:

Component-Inlet3:
Slot-Cardinality: 1
Slot-Documentation: the third inlet port
Slot-Value-Type: Port

Axioms:

(Forall (?Self ?Time)
        (<=> (Active ?Time 3-Input-Thermal-Component ?Self)
             (And (3-Input-Thermal-Component ?Self)
                  (Active ?Time 2-Input-Thermal-Component ?Self))))

Other Related Axioms:

(Forall (?Self ?Time)
        (<=> (Active ?Time 3-Input-Thermal-Component ?Self)
             (And (3-Input-Thermal-Component ?Self)
                  (Active ?Time 2-Input-Thermal-Component ?Self))))

(Attribute-Function-Of Component-Inlet3 3-Input-Thermal-Component)

(Forall (?Self ?Time)
        (<=> (Active ?Time 3-1-Port-Thermal-Component ?Self)
             (And (3-1-Port-Thermal-Component ?Self)
                  (Active ?Time 3-Input-Thermal-Component ?Self)
                  (Active ?Time 1-Output-Thermal-Component ?Self))))