Class 2-INPUT-THERMAL-COMPONENT

Slots on this class:

Documentation:
the class of thermal components with two inlets
Instance-Of: Class
Subclass-Of: Entity, Thermal-component
Arity: 1
Component-Inlet1:
Slot-Documentation: the first inlet port
Component-Inlet2:
Slot-Documentation: the second inlet port
Has-Attribute-Function: Component-inlet1, Component-inlet2
Superclass-Of: 2-1-port-thermal-component, 2-2-port-thermal-component, 3-input-thermal-component

Slots on instances of this class:

Component-Inlet1:
Slot-Cardinality: 1
Slot-Documentation: the first inlet port
Slot-Value-Type: Port
Component-Inlet2:
Slot-Cardinality: 1
Slot-Documentation: the second inlet port
Slot-Value-Type: Port

Axioms:

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

Other Related Axioms:

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

(Attribute-Function-Of Component-Inlet1 2-Input-Thermal-Component)

(Attribute-Function-Of Component-Inlet2 2-Input-Thermal-Component)

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

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

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