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_0017__should_r_0057_0018__be should be r_0057_0019__zero zero r_0057_0017__should_r_0057_0018__be->r_0057_0019__zero [prd] r_0057_0013__contributions contributions r_0057_0017__should_r_0057_0018__be->r_0057_0013__contributions [arg0] 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_0012__thermoelectric thermoelectric r_0057_0013__contributions->r_0057_0012__thermoelectric [attrib] r_0057_0009__the the r_0057_0010__same same r_0057_0009__the->r_0057_0010__same [attrib] r_0057_0008__are are r_0057_0008__are->r_0057_0009__the [prd] 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_0006__and and r_0057_0002__the_r_0057_0003__temperatures->r_0057_0006__and at r_0057_0007__E E r_0057_0006__and->r_0057_0007__E [conj2] r_0057_0005__C C r_0057_0006__and->r_0057_0005__C [conj1] r_0057_0001__Provided Provided r_0057_0001__Provided->r_0057_0017__should_r_0057_0018__be [conj2] r_0057_0001__Provided->r_0057_0008__are [conj1] 
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__1_1_1_1 Provided n57_a_lob_j01__1_1_2_1_1_1 the n57_a_lob_j01__1_1_2_1_2_1 temperatures n57_a_lob_j01__1_1_2_1_3_1_1 at n57_a_lob_j01__1_1_2_1_3_2_1_1_1_1 C n57_a_lob_j01__1_1_2_1_3_2_1_2_1_1 and n57_a_lob_j01__1_1_2_1_3_2_1_2_2_1_1 E n57_a_lob_j01__1_1_2_2_1 are n57_a_lob_j01__1_1_2_3_1_1 the n57_a_lob_j01__1_1_2_3_2_1_1 same n57_a_lob_j01__1_2_1 , n57_a_lob_j01__1_3_1_1_1 thermoelectric n57_a_lob_j01__1_3_2_1 contributions n57_a_lob_j01__1_3_3_1_1 to n57_a_lob_j01__1_3_3_2_1_1 the n57_a_lob_j01__1_3_3_2_2_1 voltage n57_a_lob_j01__1_4_1 should n57_a_lob_j01__1_5_1_1 be n57_a_lob_j01__1_5_2_1_1 zero n57_a_lob_j01__1_6_1 . n57_a_lob_j01__1 IP-MAT n57_a_lob_j01__1_1 PP-SCON n57_a_lob_j01__1->n57_a_lob_j01__1_1 n57_a_lob_j01__1_2 PUNC n57_a_lob_j01__1->n57_a_lob_j01__1_2 n57_a_lob_j01__1_3 NP-SBJ n57_a_lob_j01__1->n57_a_lob_j01__1_3 n57_a_lob_j01__1_4 MD;_cat_Vi_ n57_a_lob_j01__1->n57_a_lob_j01__1_4 n57_a_lob_j01__1_5 IP-INF-CAT n57_a_lob_j01__1->n57_a_lob_j01__1_5 n57_a_lob_j01__1_6 PUNC n57_a_lob_j01__1->n57_a_lob_j01__1_6 n57_a_lob_j01__1_1_1 P-CONN n57_a_lob_j01__1_1->n57_a_lob_j01__1_1_1 n57_a_lob_j01__1_1_2 IP-ADV n57_a_lob_j01__1_1->n57_a_lob_j01__1_1_2 n57_a_lob_j01__1_1_1->n57_a_lob_j01__1_1_1_1 n57_a_lob_j01__1_1_2_1 NP-SBJ n57_a_lob_j01__1_1_2->n57_a_lob_j01__1_1_2_1 n57_a_lob_j01__1_1_2_2 BEP;_Ln_ n57_a_lob_j01__1_1_2->n57_a_lob_j01__1_1_2_2 n57_a_lob_j01__1_1_2_3 NP-PRD n57_a_lob_j01__1_1_2->n57_a_lob_j01__1_1_2_3 n57_a_lob_j01__1_1_2_1_1 D n57_a_lob_j01__1_1_2_1->n57_a_lob_j01__1_1_2_1_1 n57_a_lob_j01__1_1_2_1_2 NS n57_a_lob_j01__1_1_2_1->n57_a_lob_j01__1_1_2_1_2 n57_a_lob_j01__1_1_2_1_3 PP n57_a_lob_j01__1_1_2_1->n57_a_lob_j01__1_1_2_1_3 n57_a_lob_j01__1_1_2_1_1->n57_a_lob_j01__1_1_2_1_1_1 n57_a_lob_j01__1_1_2_1_2->n57_a_lob_j01__1_1_2_1_2_1 n57_a_lob_j01__1_1_2_1_3_1 P-ROLE n57_a_lob_j01__1_1_2_1_3->n57_a_lob_j01__1_1_2_1_3_1 n57_a_lob_j01__1_1_2_1_3_2 NP n57_a_lob_j01__1_1_2_1_3->n57_a_lob_j01__1_1_2_1_3_2 n57_a_lob_j01__1_1_2_1_3_1->n57_a_lob_j01__1_1_2_1_3_1_1 n57_a_lob_j01__1_1_2_1_3_2_1 NLYR n57_a_lob_j01__1_1_2_1_3_2->n57_a_lob_j01__1_1_2_1_3_2_1 n57_a_lob_j01__1_1_2_1_3_2_1_1 NLYR n57_a_lob_j01__1_1_2_1_3_2_1->n57_a_lob_j01__1_1_2_1_3_2_1_1 n57_a_lob_j01__1_1_2_1_3_2_1_2 CONJP n57_a_lob_j01__1_1_2_1_3_2_1->n57_a_lob_j01__1_1_2_1_3_2_1_2 n57_a_lob_j01__1_1_2_1_3_2_1_1_1 N n57_a_lob_j01__1_1_2_1_3_2_1_1->n57_a_lob_j01__1_1_2_1_3_2_1_1_1 n57_a_lob_j01__1_1_2_1_3_2_1_1_1->n57_a_lob_j01__1_1_2_1_3_2_1_1_1_1 n57_a_lob_j01__1_1_2_1_3_2_1_2_1 CONJ n57_a_lob_j01__1_1_2_1_3_2_1_2->n57_a_lob_j01__1_1_2_1_3_2_1_2_1 n57_a_lob_j01__1_1_2_1_3_2_1_2_2 NLYR n57_a_lob_j01__1_1_2_1_3_2_1_2->n57_a_lob_j01__1_1_2_1_3_2_1_2_2 n57_a_lob_j01__1_1_2_1_3_2_1_2_1->n57_a_lob_j01__1_1_2_1_3_2_1_2_1_1 n57_a_lob_j01__1_1_2_1_3_2_1_2_2_1 N n57_a_lob_j01__1_1_2_1_3_2_1_2_2->n57_a_lob_j01__1_1_2_1_3_2_1_2_2_1 n57_a_lob_j01__1_1_2_1_3_2_1_2_2_1->n57_a_lob_j01__1_1_2_1_3_2_1_2_2_1_1 n57_a_lob_j01__1_1_2_2->n57_a_lob_j01__1_1_2_2_1 n57_a_lob_j01__1_1_2_3_1 D n57_a_lob_j01__1_1_2_3->n57_a_lob_j01__1_1_2_3_1 n57_a_lob_j01__1_1_2_3_2 ADJP n57_a_lob_j01__1_1_2_3->n57_a_lob_j01__1_1_2_3_2 n57_a_lob_j01__1_1_2_3_1->n57_a_lob_j01__1_1_2_3_1_1 n57_a_lob_j01__1_1_2_3_2_1 ADJ n57_a_lob_j01__1_1_2_3_2->n57_a_lob_j01__1_1_2_3_2_1 n57_a_lob_j01__1_1_2_3_2_1->n57_a_lob_j01__1_1_2_3_2_1_1 n57_a_lob_j01__1_2->n57_a_lob_j01__1_2_1 n57_a_lob_j01__1_3_1 ADJP n57_a_lob_j01__1_3->n57_a_lob_j01__1_3_1 n57_a_lob_j01__1_3_2 NS n57_a_lob_j01__1_3->n57_a_lob_j01__1_3_2 n57_a_lob_j01__1_3_3 PP n57_a_lob_j01__1_3->n57_a_lob_j01__1_3_3 n57_a_lob_j01__1_3_1_1 ADJ n57_a_lob_j01__1_3_1->n57_a_lob_j01__1_3_1_1 n57_a_lob_j01__1_3_1_1->n57_a_lob_j01__1_3_1_1_1 n57_a_lob_j01__1_3_2->n57_a_lob_j01__1_3_2_1 n57_a_lob_j01__1_3_3_1 P-ROLE n57_a_lob_j01__1_3_3->n57_a_lob_j01__1_3_3_1 n57_a_lob_j01__1_3_3_2 NP n57_a_lob_j01__1_3_3->n57_a_lob_j01__1_3_3_2 n57_a_lob_j01__1_3_3_1->n57_a_lob_j01__1_3_3_1_1 n57_a_lob_j01__1_3_3_2_1 D n57_a_lob_j01__1_3_3_2->n57_a_lob_j01__1_3_3_2_1 n57_a_lob_j01__1_3_3_2_2 N n57_a_lob_j01__1_3_3_2->n57_a_lob_j01__1_3_3_2_2 n57_a_lob_j01__1_3_3_2_1->n57_a_lob_j01__1_3_3_2_1_1 n57_a_lob_j01__1_3_3_2_2->n57_a_lob_j01__1_3_3_2_2_1 n57_a_lob_j01__1_4->n57_a_lob_j01__1_4_1 n57_a_lob_j01__1_5_1 BE;_Ln_ n57_a_lob_j01__1_5->n57_a_lob_j01__1_5_1 n57_a_lob_j01__1_5_2 NP-PRD n57_a_lob_j01__1_5->n57_a_lob_j01__1_5_2 n57_a_lob_j01__1_5_1->n57_a_lob_j01__1_5_1_1 n57_a_lob_j01__1_5_2_1 NUM n57_a_lob_j01__1_5_2->n57_a_lob_j01__1_5_2_1 n57_a_lob_j01__1_5_2_1->n57_a_lob_j01__1_5_2_1_1 n57_a_lob_j01__1_6->n57_a_lob_j01__1_6_1 
( (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))