Context                Previous, Next                Top


57_a_lob_j01
Provided the temperatures at C and E are the same, thermoelectric contributions to the voltage should be zero.

%3 r_0057_0001__Provided Provided r_0057_0008__are are r_0057_0001__Provided->r_0057_0008__are [restriction] r_0057_0017__should should r_0057_0001__Provided->r_0057_0017__should [scope] r_0057_0002__the_r_0057_0003__temperatures the temperatures r_0057_0008__are->r_0057_0002__the_r_0057_0003__temperatures [arg0] r_0057_0009__the the r_0057_0008__are->r_0057_0009__the [prd] r_0057_0018__be be r_0057_0017__should->r_0057_0018__be [scope] r_0057_0006__and and r_0057_0002__the_r_0057_0003__temperatures->r_0057_0006__and at r_0057_0005__C C r_0057_0006__and->r_0057_0005__C [conj1] r_0057_0007__E E r_0057_0006__and->r_0057_0007__E [conj2] r_0057_0010__same same r_0057_0009__the->r_0057_0010__same [attrib] r_0057_0013__contributions contributions r_0057_0012__thermoelectric thermoelectric r_0057_0013__contributions->r_0057_0012__thermoelectric [attrib] r_0057_0015__the_r_0057_0016__voltage the voltage r_0057_0013__contributions->r_0057_0015__the_r_0057_0016__voltage to r_0057_0018__be->r_0057_0013__contributions [arg0] r_0057_0019__zero zero r_0057_0018__be->r_0057_0019__zero [prd] 
arc(r_0057_0001__Provided, r_0057_0008__are, restriction).
arc(r_0057_0001__Provided, r_0057_0017__should, scope).
arc(r_0057_0002__the_r_0057_0003__temperatures, r_0057_0006__and, r_0057_0004__at).
arc(r_0057_0006__and, r_0057_0005__C, conj1).
arc(r_0057_0006__and, r_0057_0007__E, conj2).
arc(r_0057_0008__are, r_0057_0002__the_r_0057_0003__temperatures, arg0).
arc(r_0057_0008__are, r_0057_0009__the, prd).
arc(r_0057_0009__the, r_0057_0010__same, attrib30).
arc(r_0057_0013__contributions, r_0057_0012__thermoelectric, attrib36).
arc(r_0057_0013__contributions, r_0057_0015__the_r_0057_0016__voltage, r_0057_0014__to).
arc(r_0057_0017__should, r_0057_0018__be, scope).
arc(r_0057_0018__be, r_0057_0013__contributions, arg0).
arc(r_0057_0018__be, r_0057_0019__zero, prd).


%3 r_0057_0001__Provided Provided r_0057_0008__are are r_0057_0001__Provided->r_0057_0008__are [conj1] r_0057_0017__should_r_0057_0018__be should be r_0057_0001__Provided->r_0057_0017__should_r_0057_0018__be [conj2] r_0057_0002__the_r_0057_0003__temperatures the temperatures r_0057_0008__are->r_0057_0002__the_r_0057_0003__temperatures [arg0] r_0057_0009__the the r_0057_0008__are->r_0057_0009__the [prd] r_0057_0013__contributions contributions r_0057_0017__should_r_0057_0018__be->r_0057_0013__contributions [arg0] r_0057_0019__zero zero r_0057_0017__should_r_0057_0018__be->r_0057_0019__zero [prd] r_0057_0006__and and r_0057_0002__the_r_0057_0003__temperatures->r_0057_0006__and at r_0057_0005__C C r_0057_0006__and->r_0057_0005__C [conj1] r_0057_0007__E E r_0057_0006__and->r_0057_0007__E [conj2] r_0057_0010__same same r_0057_0009__the->r_0057_0010__same [attrib] r_0057_0012__thermoelectric thermoelectric r_0057_0013__contributions->r_0057_0012__thermoelectric [attrib] r_0057_0015__the_r_0057_0016__voltage the voltage r_0057_0013__contributions->r_0057_0015__the_r_0057_0016__voltage to 
fof(formula,axiom,
    ? [R_57_1_PROVIDED,R_57_8_ARE,R_57_2_THE_TEMPERATURES,R_57_6_AND,R_57_5_C,R_57_7_E,R_57_9_THE,R_57_10_SAME,R_57_17_SHOULD_BE,R_57_13_CONTRIBUTIONS,R_57_12_THERMOELECTRIC,R_57_15_THE_VOLTAGE,R_57_19_ZERO] :
      ( c(R_57_5_C)
      & e(R_57_7_E)
      & same(R_57_10_SAME)
      & thermoelectric(R_57_12_THERMOELECTRIC)
      & the_voltage(R_57_15_THE_VOLTAGE)
      & zero(R_57_19_ZERO)
      & provided(R_57_1_PROVIDED)
      & conj1(R_57_1_PROVIDED,R_57_8_ARE)
      & are(R_57_8_ARE,R_57_2_THE_TEMPERATURES,R_57_9_THE)
      & the_temperatures(R_57_2_THE_TEMPERATURES)
      & at(R_57_2_THE_TEMPERATURES,R_57_6_AND)
      & and(R_57_6_AND)
      & conj1(R_57_6_AND,R_57_5_C)
      & conj2(R_57_6_AND,R_57_7_E)
      & the(R_57_9_THE)
      & attrib30(R_57_9_THE,R_57_10_SAME)
      & conj2(R_57_1_PROVIDED,R_57_17_SHOULD_BE)
      & should_be(R_57_17_SHOULD_BE,R_57_13_CONTRIBUTIONS,R_57_19_ZERO)
      & contributions(R_57_13_CONTRIBUTIONS)
      & attrib36(R_57_13_CONTRIBUTIONS,R_57_12_THERMOELECTRIC)
      & to(R_57_13_CONTRIBUTIONS,R_57_15_THE_VOLTAGE) ) ).


n57_a_lob_j01 n57_a_lob_j01_4 Provided n57_a_lob_j01_8 the n57_a_lob_j01_10 temperatures n57_a_lob_j01_13 at n57_a_lob_j01_18 C n57_a_lob_j01_21 and n57_a_lob_j01_24 E n57_a_lob_j01_26 are n57_a_lob_j01_29 the n57_a_lob_j01_32 same n57_a_lob_j01_34 , n57_a_lob_j01_38 thermoelectric n57_a_lob_j01_40 contributions n57_a_lob_j01_43 to n57_a_lob_j01_46 the n57_a_lob_j01_48 voltage n57_a_lob_j01_50 should n57_a_lob_j01_53 be n57_a_lob_j01_56 zero n57_a_lob_j01_58 . n57_a_lob_j01_1 IP-MAT n57_a_lob_j01_2 PP-SCON n57_a_lob_j01_1->n57_a_lob_j01_2 n57_a_lob_j01_33 PUNC n57_a_lob_j01_1->n57_a_lob_j01_33 n57_a_lob_j01_35 NP-SBJ n57_a_lob_j01_1->n57_a_lob_j01_35 n57_a_lob_j01_49 MD;_cat_Vi_ n57_a_lob_j01_1->n57_a_lob_j01_49 n57_a_lob_j01_51 IP-INF-CAT n57_a_lob_j01_1->n57_a_lob_j01_51 n57_a_lob_j01_57 PUNC n57_a_lob_j01_1->n57_a_lob_j01_57 n57_a_lob_j01_3 P-CONN n57_a_lob_j01_2->n57_a_lob_j01_3 n57_a_lob_j01_5 IP-ADV n57_a_lob_j01_2->n57_a_lob_j01_5 n57_a_lob_j01_3->n57_a_lob_j01_4 n57_a_lob_j01_6 NP-SBJ n57_a_lob_j01_5->n57_a_lob_j01_6 n57_a_lob_j01_25 BEP;_Ln_ n57_a_lob_j01_5->n57_a_lob_j01_25 n57_a_lob_j01_27 NP-PRD n57_a_lob_j01_5->n57_a_lob_j01_27 n57_a_lob_j01_7 D n57_a_lob_j01_6->n57_a_lob_j01_7 n57_a_lob_j01_9 NS n57_a_lob_j01_6->n57_a_lob_j01_9 n57_a_lob_j01_11 PP n57_a_lob_j01_6->n57_a_lob_j01_11 n57_a_lob_j01_7->n57_a_lob_j01_8 n57_a_lob_j01_9->n57_a_lob_j01_10 n57_a_lob_j01_12 P-ROLE n57_a_lob_j01_11->n57_a_lob_j01_12 n57_a_lob_j01_14 NP n57_a_lob_j01_11->n57_a_lob_j01_14 n57_a_lob_j01_12->n57_a_lob_j01_13 n57_a_lob_j01_15 NLYR n57_a_lob_j01_14->n57_a_lob_j01_15 n57_a_lob_j01_16 NLYR n57_a_lob_j01_15->n57_a_lob_j01_16 n57_a_lob_j01_19 CONJP n57_a_lob_j01_15->n57_a_lob_j01_19 n57_a_lob_j01_17 N n57_a_lob_j01_16->n57_a_lob_j01_17 n57_a_lob_j01_17->n57_a_lob_j01_18 n57_a_lob_j01_20 CONJ n57_a_lob_j01_19->n57_a_lob_j01_20 n57_a_lob_j01_22 NLYR n57_a_lob_j01_19->n57_a_lob_j01_22 n57_a_lob_j01_20->n57_a_lob_j01_21 n57_a_lob_j01_23 N n57_a_lob_j01_22->n57_a_lob_j01_23 n57_a_lob_j01_23->n57_a_lob_j01_24 n57_a_lob_j01_25->n57_a_lob_j01_26 n57_a_lob_j01_28 D n57_a_lob_j01_27->n57_a_lob_j01_28 n57_a_lob_j01_30 ADJP n57_a_lob_j01_27->n57_a_lob_j01_30 n57_a_lob_j01_28->n57_a_lob_j01_29 n57_a_lob_j01_31 ADJ n57_a_lob_j01_30->n57_a_lob_j01_31 n57_a_lob_j01_31->n57_a_lob_j01_32 n57_a_lob_j01_33->n57_a_lob_j01_34 n57_a_lob_j01_36 ADJP n57_a_lob_j01_35->n57_a_lob_j01_36 n57_a_lob_j01_39 NS n57_a_lob_j01_35->n57_a_lob_j01_39 n57_a_lob_j01_41 PP n57_a_lob_j01_35->n57_a_lob_j01_41 n57_a_lob_j01_37 ADJ n57_a_lob_j01_36->n57_a_lob_j01_37 n57_a_lob_j01_37->n57_a_lob_j01_38 n57_a_lob_j01_39->n57_a_lob_j01_40 n57_a_lob_j01_42 P-ROLE n57_a_lob_j01_41->n57_a_lob_j01_42 n57_a_lob_j01_44 NP n57_a_lob_j01_41->n57_a_lob_j01_44 n57_a_lob_j01_42->n57_a_lob_j01_43 n57_a_lob_j01_45 D n57_a_lob_j01_44->n57_a_lob_j01_45 n57_a_lob_j01_47 N n57_a_lob_j01_44->n57_a_lob_j01_47 n57_a_lob_j01_45->n57_a_lob_j01_46 n57_a_lob_j01_47->n57_a_lob_j01_48 n57_a_lob_j01_49->n57_a_lob_j01_50 n57_a_lob_j01_52 BE;_Ln_ n57_a_lob_j01_51->n57_a_lob_j01_52 n57_a_lob_j01_54 NP-PRD n57_a_lob_j01_51->n57_a_lob_j01_54 n57_a_lob_j01_52->n57_a_lob_j01_53 n57_a_lob_j01_55 NUM n57_a_lob_j01_54->n57_a_lob_j01_55 n57_a_lob_j01_55->n57_a_lob_j01_56 n57_a_lob_j01_57->n57_a_lob_j01_58 
( (IP-MAT (PP-SCON (P-CONN Provided;{providing})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (NS temperatures;{temperature})
                                   (PP (P-ROLE at;{at})
                                       (NP (NLYR (NLYR (N C))
                                                 (CONJP (CONJ and;{and})
                                                        (NLYR (N E)))))))
                           (BEP;_Ln_ are;{be})
                           (NP-PRD (D the;{the})
                                   (ADJP (ADJ same;{same})))))
          (PUNC ,)
          (NP-SBJ (ADJP (ADJ thermoelectric;{thermoelectric}))
                  (NS contributions;{contribution})
                  (PP (P-ROLE to;{to})
                      (NP (D the;{the})
                          (N voltage;{voltage}))))
          (MD;_cat_Vi_ should;{shall})
          (IP-INF-CAT (BE;_Ln_ be;{be})
                      (NP-PRD (NUM zero;{zero})))
          (PUNC .))
  (ID 57_a_lob_j01))