27_a_lob_j01
Changes in voltage accompanying fluctuations of coolant temperature according to equation (6) vary only slightly with concentration and are proportional to the temperature change.

%3 r_0027_0001__Changes Changes r_0027_0003__voltage voltage r_0027_0001__Changes->r_0027_0003__voltage in r_0027_0004__accompanying accompanying r_0027_0004__accompanying->r_0027_0003__voltage [arg0] r_0027_0005__fluctuations fluctuations r_0027_0004__accompanying->r_0027_0005__fluctuations [arg1] r_0027_0007__coolant_r_0027_0008__temperature coolant temperature r_0027_0005__fluctuations->r_0027_0007__coolant_r_0027_0008__temperature of r_0027_0010__equation_r_0027_0012__6 equation 6 r_0027_0005__fluctuations->r_0027_0010__equation_r_0027_0012__6 according to r_0027_0014__vary vary r_0027_0014__vary->r_0027_0001__Changes [arg0] r_0027_0018__concentration concentration r_0027_0014__vary->r_0027_0018__concentration only slightly with [nim] r_0027_0019__and and r_0027_0019__and->r_0027_0014__vary [conj1] r_0027_0020__are are r_0027_0019__and->r_0027_0020__are [conj2] r_0027_0020__are->r_0027_0001__Changes [arg0] r_0027_0021__proportional proportional r_0027_0020__are->r_0027_0021__proportional [prd] r_0027_0023__the_r_0027_0024__temperature_r_0027_0025__change the temperature change r_0027_0021__proportional->r_0027_0023__the_r_0027_0024__temperature_r_0027_0025__change to
arc(r_0027_0001__Changes, r_0027_0003__voltage, r_0027_0002__in).
arc(r_0027_0004__accompanying, r_0027_0003__voltage, arg0).
arc(r_0027_0004__accompanying, r_0027_0005__fluctuations, arg1).
arc(r_0027_0005__fluctuations, r_0027_0007__coolant_r_0027_0008__temperature, r_0027_0006__of).
arc(r_0027_0005__fluctuations, r_0027_0010__equation_r_0027_0012__6, r_0027_0009__according_to).
arc(r_0027_0014__vary, r_0027_0001__Changes, arg0).
arc(r_0027_0014__vary, r_0027_0018__concentration, r_0027_0015__only_r_0027_0016__slightly_r_0027_0017__with_nim48).
arc(r_0027_0019__and, r_0027_0014__vary, conj1).
arc(r_0027_0019__and, r_0027_0020__are, conj2).
arc(r_0027_0020__are, r_0027_0001__Changes, arg0).
arc(r_0027_0020__are, r_0027_0021__proportional, prd).
arc(r_0027_0021__proportional, r_0027_0023__the_r_0027_0024__temperature_r_0027_0025__change, r_0027_0022__to).



%3 r_0027_0021__proportional proportional r_0027_0023__the_r_0027_0024__temperature_r_0027_0025__change the temperature change r_0027_0021__proportional->r_0027_0023__the_r_0027_0024__temperature_r_0027_0025__change to r_0027_0020__are are r_0027_0020__are->r_0027_0021__proportional [prd] r_0027_0001__Changes Changes r_0027_0020__are->r_0027_0001__Changes [arg0] r_0027_0003__voltage voltage r_0027_0001__Changes->r_0027_0003__voltage in r_0027_0019__and and r_0027_0019__and->r_0027_0020__are [conj2] r_0027_0014__vary vary r_0027_0019__and->r_0027_0014__vary [conj1] r_0027_0014__vary->r_0027_0001__Changes [arg0] r_0027_0018__concentration concentration r_0027_0014__vary->r_0027_0018__concentration only slightly with [nim] r_0027_0005__fluctuations fluctuations r_0027_0010__equation_r_0027_0012__6 equation 6 r_0027_0005__fluctuations->r_0027_0010__equation_r_0027_0012__6 according to r_0027_0007__coolant_r_0027_0008__temperature coolant temperature r_0027_0005__fluctuations->r_0027_0007__coolant_r_0027_0008__temperature of r_0027_0004__accompanying accompanying r_0027_0004__accompanying->r_0027_0005__fluctuations [arg1] r_0027_0004__accompanying->r_0027_0003__voltage [arg0]
fof(formula,axiom,
    ? [R_27_4_ACCOMPANYING,R_27_5_FLUCTUATIONS,R_27_7_COOLANT_TEMPERATURE,R_27_10_EQUATION_6,R_27_19_AND,R_27_14_VARY,R_27_18_CONCENTRATION,R_27_20_ARE,R_27_1_CHANGES,R_27_3_VOLTAGE,R_27_21_PROPORTIONAL,R_27_23_THE_TEMPERATURE_CHANGE] :
      ( coolant_temperature(R_27_7_COOLANT_TEMPERATURE)
      & equation_6(R_27_10_EQUATION_6)
      & concentration(R_27_18_CONCENTRATION)
      & voltage(R_27_3_VOLTAGE)
      & the_temperature_change(R_27_23_THE_TEMPERATURE_CHANGE)
      & accompanying(R_27_4_ACCOMPANYING,R_27_3_VOLTAGE,R_27_5_FLUCTUATIONS)
      & fluctuations(R_27_5_FLUCTUATIONS)
      & of(R_27_5_FLUCTUATIONS,R_27_7_COOLANT_TEMPERATURE)
      & according_to(R_27_5_FLUCTUATIONS,R_27_10_EQUATION_6)
      & and(R_27_19_AND)
      & conj1(R_27_19_AND,R_27_14_VARY)
      & vary(R_27_14_VARY,R_27_1_CHANGES)
      & changes(R_27_1_CHANGES)
      & in(R_27_1_CHANGES,R_27_3_VOLTAGE)
      & only_slightly_with_nim48(R_27_14_VARY,R_27_18_CONCENTRATION)
      & conj2(R_27_19_AND,R_27_20_ARE)
      & are(R_27_20_ARE,R_27_1_CHANGES,R_27_21_PROPORTIONAL)
      & proportional(R_27_21_PROPORTIONAL)
      & to(R_27_21_PROPORTIONAL,R_27_23_THE_TEMPERATURE_CHANGE) ) ).



n27_a_lob_j01 n27_a_lob_j01__1_1_1_1 Changes n27_a_lob_j01__1_1_2_1_1 in n27_a_lob_j01__1_1_2_2_1_1 voltage n27_a_lob_j01__1_1_2_2_2_1_1 accompanying n27_a_lob_j01__1_1_2_2_2_2_1_1 fluctuations n27_a_lob_j01__1_1_2_2_2_2_2_1_1 of n27_a_lob_j01__1_1_2_2_2_2_2_2_1_1 coolant n27_a_lob_j01__1_1_2_2_2_2_2_2_2_1 temperature n27_a_lob_j01__1_1_2_2_2_2_3_1_1 according_to n27_a_lob_j01__1_1_2_2_2_2_3_2_1_1 equation n27_a_lob_j01__1_1_2_2_2_2_3_2_2_1 -LRB- n27_a_lob_j01__1_1_2_2_2_2_3_2_3_1 6 n27_a_lob_j01__1_1_2_2_2_2_3_2_4_1 -RRB- n27_a_lob_j01__1_2_1_1_1 vary n27_a_lob_j01__1_2_1_2_1_1 only n27_a_lob_j01__1_2_1_2_2_1 slightly n27_a_lob_j01__1_2_1_2_3_1 with n27_a_lob_j01__1_2_1_2_4_1_1 concentration n27_a_lob_j01__1_2_2_1_1 and n27_a_lob_j01__1_2_2_2_1_1 are n27_a_lob_j01__1_2_2_2_2_1_1 proportional n27_a_lob_j01__1_2_2_2_2_2_1_1 to n27_a_lob_j01__1_2_2_2_2_2_2_1_1 the n27_a_lob_j01__1_2_2_2_2_2_2_2_1 temperature n27_a_lob_j01__1_2_2_2_2_2_2_3_1 change n27_a_lob_j01__1_3_1 . n27_a_lob_j01__1 IP-MAT n27_a_lob_j01__1_1 NP-SBJ n27_a_lob_j01__1->n27_a_lob_j01__1_1 n27_a_lob_j01__1_2 ILYR n27_a_lob_j01__1->n27_a_lob_j01__1_2 n27_a_lob_j01__1_3 PUNC n27_a_lob_j01__1->n27_a_lob_j01__1_3 n27_a_lob_j01__1_1_1 NS n27_a_lob_j01__1_1->n27_a_lob_j01__1_1_1 n27_a_lob_j01__1_1_2 PP n27_a_lob_j01__1_1->n27_a_lob_j01__1_1_2 n27_a_lob_j01__1_1_1->n27_a_lob_j01__1_1_1_1 n27_a_lob_j01__1_1_2_1 P-ROLE n27_a_lob_j01__1_1_2->n27_a_lob_j01__1_1_2_1 n27_a_lob_j01__1_1_2_2 NP n27_a_lob_j01__1_1_2->n27_a_lob_j01__1_1_2_2 n27_a_lob_j01__1_1_2_1->n27_a_lob_j01__1_1_2_1_1 n27_a_lob_j01__1_1_2_2_1 N n27_a_lob_j01__1_1_2_2->n27_a_lob_j01__1_1_2_2_1 n27_a_lob_j01__1_1_2_2_2 IP-PPL n27_a_lob_j01__1_1_2_2->n27_a_lob_j01__1_1_2_2_2 n27_a_lob_j01__1_1_2_2_1->n27_a_lob_j01__1_1_2_2_1_1 n27_a_lob_j01__1_1_2_2_2_1 VAG;_Tn_ n27_a_lob_j01__1_1_2_2_2->n27_a_lob_j01__1_1_2_2_2_1 n27_a_lob_j01__1_1_2_2_2_2 NP-OB1 n27_a_lob_j01__1_1_2_2_2->n27_a_lob_j01__1_1_2_2_2_2 n27_a_lob_j01__1_1_2_2_2_1->n27_a_lob_j01__1_1_2_2_2_1_1 n27_a_lob_j01__1_1_2_2_2_2_1 NS n27_a_lob_j01__1_1_2_2_2_2->n27_a_lob_j01__1_1_2_2_2_2_1 n27_a_lob_j01__1_1_2_2_2_2_2 PP n27_a_lob_j01__1_1_2_2_2_2->n27_a_lob_j01__1_1_2_2_2_2_2 n27_a_lob_j01__1_1_2_2_2_2_3 PP n27_a_lob_j01__1_1_2_2_2_2->n27_a_lob_j01__1_1_2_2_2_2_3 n27_a_lob_j01__1_1_2_2_2_2_1->n27_a_lob_j01__1_1_2_2_2_2_1_1 n27_a_lob_j01__1_1_2_2_2_2_2_1 P-ROLE n27_a_lob_j01__1_1_2_2_2_2_2->n27_a_lob_j01__1_1_2_2_2_2_2_1 n27_a_lob_j01__1_1_2_2_2_2_2_2 NP n27_a_lob_j01__1_1_2_2_2_2_2->n27_a_lob_j01__1_1_2_2_2_2_2_2 n27_a_lob_j01__1_1_2_2_2_2_2_1->n27_a_lob_j01__1_1_2_2_2_2_2_1_1 n27_a_lob_j01__1_1_2_2_2_2_2_2_1 N n27_a_lob_j01__1_1_2_2_2_2_2_2->n27_a_lob_j01__1_1_2_2_2_2_2_2_1 n27_a_lob_j01__1_1_2_2_2_2_2_2_2 N n27_a_lob_j01__1_1_2_2_2_2_2_2->n27_a_lob_j01__1_1_2_2_2_2_2_2_2 n27_a_lob_j01__1_1_2_2_2_2_2_2_1->n27_a_lob_j01__1_1_2_2_2_2_2_2_1_1 n27_a_lob_j01__1_1_2_2_2_2_2_2_2->n27_a_lob_j01__1_1_2_2_2_2_2_2_2_1 n27_a_lob_j01__1_1_2_2_2_2_3_1 P-ROLE n27_a_lob_j01__1_1_2_2_2_2_3->n27_a_lob_j01__1_1_2_2_2_2_3_1 n27_a_lob_j01__1_1_2_2_2_2_3_2 NP n27_a_lob_j01__1_1_2_2_2_2_3->n27_a_lob_j01__1_1_2_2_2_2_3_2 n27_a_lob_j01__1_1_2_2_2_2_3_1->n27_a_lob_j01__1_1_2_2_2_2_3_1_1 n27_a_lob_j01__1_1_2_2_2_2_3_2_1 N n27_a_lob_j01__1_1_2_2_2_2_3_2->n27_a_lob_j01__1_1_2_2_2_2_3_2_1 n27_a_lob_j01__1_1_2_2_2_2_3_2_2 PULB n27_a_lob_j01__1_1_2_2_2_2_3_2->n27_a_lob_j01__1_1_2_2_2_2_3_2_2 n27_a_lob_j01__1_1_2_2_2_2_3_2_3 NUM n27_a_lob_j01__1_1_2_2_2_2_3_2->n27_a_lob_j01__1_1_2_2_2_2_3_2_3 n27_a_lob_j01__1_1_2_2_2_2_3_2_4 PURB n27_a_lob_j01__1_1_2_2_2_2_3_2->n27_a_lob_j01__1_1_2_2_2_2_3_2_4 n27_a_lob_j01__1_1_2_2_2_2_3_2_1->n27_a_lob_j01__1_1_2_2_2_2_3_2_1_1 n27_a_lob_j01__1_1_2_2_2_2_3_2_2->n27_a_lob_j01__1_1_2_2_2_2_3_2_2_1 n27_a_lob_j01__1_1_2_2_2_2_3_2_3->n27_a_lob_j01__1_1_2_2_2_2_3_2_3_1 n27_a_lob_j01__1_1_2_2_2_2_3_2_4->n27_a_lob_j01__1_1_2_2_2_2_3_2_4_1 n27_a_lob_j01__1_2_1 ILYR n27_a_lob_j01__1_2->n27_a_lob_j01__1_2_1 n27_a_lob_j01__1_2_2 CONJP n27_a_lob_j01__1_2->n27_a_lob_j01__1_2_2 n27_a_lob_j01__1_2_1_1 VBP;_I_ n27_a_lob_j01__1_2_1->n27_a_lob_j01__1_2_1_1 n27_a_lob_j01__1_2_1_2 PP-NIM n27_a_lob_j01__1_2_1->n27_a_lob_j01__1_2_1_2 n27_a_lob_j01__1_2_1_1->n27_a_lob_j01__1_2_1_1_1 n27_a_lob_j01__1_2_1_2_1 ADV n27_a_lob_j01__1_2_1_2->n27_a_lob_j01__1_2_1_2_1 n27_a_lob_j01__1_2_1_2_2 ADV n27_a_lob_j01__1_2_1_2->n27_a_lob_j01__1_2_1_2_2 n27_a_lob_j01__1_2_1_2_3 P-ROLE n27_a_lob_j01__1_2_1_2->n27_a_lob_j01__1_2_1_2_3 n27_a_lob_j01__1_2_1_2_4 NP n27_a_lob_j01__1_2_1_2->n27_a_lob_j01__1_2_1_2_4 n27_a_lob_j01__1_2_1_2_1->n27_a_lob_j01__1_2_1_2_1_1 n27_a_lob_j01__1_2_1_2_2->n27_a_lob_j01__1_2_1_2_2_1 n27_a_lob_j01__1_2_1_2_3->n27_a_lob_j01__1_2_1_2_3_1 n27_a_lob_j01__1_2_1_2_4_1 N n27_a_lob_j01__1_2_1_2_4->n27_a_lob_j01__1_2_1_2_4_1 n27_a_lob_j01__1_2_1_2_4_1->n27_a_lob_j01__1_2_1_2_4_1_1 n27_a_lob_j01__1_2_2_1 CONJ n27_a_lob_j01__1_2_2->n27_a_lob_j01__1_2_2_1 n27_a_lob_j01__1_2_2_2 ILYR n27_a_lob_j01__1_2_2->n27_a_lob_j01__1_2_2_2 n27_a_lob_j01__1_2_2_1->n27_a_lob_j01__1_2_2_1_1 n27_a_lob_j01__1_2_2_2_1 BEP;_La_ n27_a_lob_j01__1_2_2_2->n27_a_lob_j01__1_2_2_2_1 n27_a_lob_j01__1_2_2_2_2 ADJP-PRD n27_a_lob_j01__1_2_2_2->n27_a_lob_j01__1_2_2_2_2 n27_a_lob_j01__1_2_2_2_1->n27_a_lob_j01__1_2_2_2_1_1 n27_a_lob_j01__1_2_2_2_2_1 ADJ n27_a_lob_j01__1_2_2_2_2->n27_a_lob_j01__1_2_2_2_2_1 n27_a_lob_j01__1_2_2_2_2_2 PP n27_a_lob_j01__1_2_2_2_2->n27_a_lob_j01__1_2_2_2_2_2 n27_a_lob_j01__1_2_2_2_2_1->n27_a_lob_j01__1_2_2_2_2_1_1 n27_a_lob_j01__1_2_2_2_2_2_1 P-ROLE n27_a_lob_j01__1_2_2_2_2_2->n27_a_lob_j01__1_2_2_2_2_2_1 n27_a_lob_j01__1_2_2_2_2_2_2 NP n27_a_lob_j01__1_2_2_2_2_2->n27_a_lob_j01__1_2_2_2_2_2_2 n27_a_lob_j01__1_2_2_2_2_2_1->n27_a_lob_j01__1_2_2_2_2_2_1_1 n27_a_lob_j01__1_2_2_2_2_2_2_1 D n27_a_lob_j01__1_2_2_2_2_2_2->n27_a_lob_j01__1_2_2_2_2_2_2_1 n27_a_lob_j01__1_2_2_2_2_2_2_2 N n27_a_lob_j01__1_2_2_2_2_2_2->n27_a_lob_j01__1_2_2_2_2_2_2_2 n27_a_lob_j01__1_2_2_2_2_2_2_3 N n27_a_lob_j01__1_2_2_2_2_2_2->n27_a_lob_j01__1_2_2_2_2_2_2_3 n27_a_lob_j01__1_2_2_2_2_2_2_1->n27_a_lob_j01__1_2_2_2_2_2_2_1_1 n27_a_lob_j01__1_2_2_2_2_2_2_2->n27_a_lob_j01__1_2_2_2_2_2_2_2_1 n27_a_lob_j01__1_2_2_2_2_2_2_3->n27_a_lob_j01__1_2_2_2_2_2_2_3_1 n27_a_lob_j01__1_3->n27_a_lob_j01__1_3_1
( (IP-MAT (NP-SBJ (NS Changes;{change})
                  (PP (P-ROLE in;{in})
                      (NP (N voltage;{voltage})
                          (IP-PPL (VAG;_Tn_ accompanying;{accompany})
                                  (NP-OB1 (NS fluctuations;{fluctuation})
                                          (PP (P-ROLE of;{of})
                                              (NP (N coolant;{coolant})
                                                  (N temperature;{temperature})))
                                          (PP (P-ROLE according_to;{according_to})
                                              (NP (N equation;{equation})
                                                  (PULB -LRB-)
                                                  (NUM 6)
                                                  (PURB -RRB-))))))))
          (ILYR (ILYR (VBP;_I_ vary;{vary})
                      (PP-NIM (ADV only;{only})
                              (ADV slightly;{slightly})
                              (P-ROLE with;{with})
                              (NP (N concentration;{concentration}))))
                (CONJP (CONJ and;{and})
                       (ILYR (BEP;_La_ are;{be})
                             (ADJP-PRD (ADJ proportional;{proportional})
                                       (PP (P-ROLE to;{to})
                                           (NP (D the;{the})
                                               (N temperature;{temperature})
                                               (N change;{change})))))))
          (PUNC .))
  (ID 27_a_lob_j01))