TSPC 42_a_lob

42_a_lob_j01
With the cell electrodes consisting of sodium with oxygen at different activities a voltage will be developed that is a function of the difference in the oxygen potential at the two electrodes.

arc(r_0042_0005__consisting, r_0042_0002__the_r_0042_0003__cell_r_0042_0004__electrodes, arg0).
arc(r_0042_0005__consisting, r_0042_0007__sodium, r_0042_0006__of_clr18).
arc(r_0042_0007__sodium, r_0042_0009__oxygen, r_0042_0008__with).
arc(r_0042_0009__oxygen, r_0042_0012__activities, r_0042_0010__at).
arc(r_0042_0012__activities, r_0042_0011__different, attrib31).
arc(r_0042_0015__will, r_0042_0002__the_r_0042_0003__cell_r_0042_0004__electrodes, r_0042_0001__With_nim5).
arc(r_0042_0015__will, r_0042_0016__be, scope).
arc(r_0042_0016__be, r_0042_0017__developed, scope).
arc(r_0042_0017__developed, r_0042_0013__a_r_0042_0014__voltage, arg1).
arc(r_0042_0017__developed, z_000_42_a_lob_j01_49, arg0).
arc(r_0042_0018__that_r_0042_0019__is, r_0042_0013__a_r_0042_0014__voltage, arg0).
arc(r_0042_0018__that_r_0042_0019__is, r_0042_0020__a_r_0042_0021__function, prd).
arc(r_0042_0020__a_r_0042_0021__function, r_0042_0023__the_r_0042_0024__difference, r_0042_0022__of).
arc(r_0042_0023__the_r_0042_0024__difference, r_0042_0026__the_r_0042_0027__oxygen_r_0042_0028__potential, r_0042_0025__in).
arc(r_0042_0026__the_r_0042_0027__oxygen_r_0042_0028__potential, r_0042_0030__the_r_0042_0031__two_r_0042_0032__electrodes, r_0042_0029__at).

fof(formula,axiom,
    ? [R_0042_0002__THE_R_0042_0003__CELL_R_0042_0004__ELECTRODES,R_0042_0011__DIFFERENT,R_0042_0012__ACTIVITIES,R_0042_0009__OXYGEN,R_0042_0007__SODIUM,R_0042_0005__CONSISTING,R_0042_0013__A_R_0042_0014__VOLTAGE,Z_000_42_A_LOB_J01_49,R_0042_0015__WILL_R_0042_0016__BE_R_0042_0017__DEVELOPED,R_0042_0030__THE_R_0042_0031__TWO_R_0042_0032__ELECTRODES,R_0042_0026__THE_R_0042_0027__OXYGEN_R_0042_0028__POTENTIAL,R_0042_0023__THE_R_0042_0024__DIFFERENCE,R_0042_0020__A_R_0042_0021__FUNCTION,R_0042_0018__THAT_R_0042_0019__IS] :
      ( r_0042_0002__the_r_0042_0003__cell_r_0042_0004__electrodes(R_0042_0002__THE_R_0042_0003__CELL_R_0042_0004__ELECTRODES)
      & r_0042_0011__different(R_0042_0011__DIFFERENT)
      & r_0042_0013__a_r_0042_0014__voltage(R_0042_0013__A_R_0042_0014__VOLTAGE)
      & r_0042_0030__the_r_0042_0031__two_r_0042_0032__electrodes(R_0042_0030__THE_R_0042_0031__TWO_R_0042_0032__ELECTRODES)
      & z_000_42_a_lob_j01_49(Z_000_42_A_LOB_J01_49)
      & r_0042_0018__that_r_0042_0019__is(R_0042_0018__THAT_R_0042_0019__IS)
      & has_prd(R_0042_0018__THAT_R_0042_0019__IS,R_0042_0020__A_R_0042_0021__FUNCTION)
      & r_0042_0020__a_r_0042_0021__function(R_0042_0020__A_R_0042_0021__FUNCTION)
      & has_r_0042_0022__of(R_0042_0020__A_R_0042_0021__FUNCTION,R_0042_0023__THE_R_0042_0024__DIFFERENCE)
      & r_0042_0023__the_r_0042_0024__difference(R_0042_0023__THE_R_0042_0024__DIFFERENCE)
      & has_r_0042_0025__in(R_0042_0023__THE_R_0042_0024__DIFFERENCE,R_0042_0026__THE_R_0042_0027__OXYGEN_R_0042_0028__POTENTIAL)
      & r_0042_0026__the_r_0042_0027__oxygen_r_0042_0028__potential(R_0042_0026__THE_R_0042_0027__OXYGEN_R_0042_0028__POTENTIAL)
      & has_r_0042_0029__at(R_0042_0026__THE_R_0042_0027__OXYGEN_R_0042_0028__POTENTIAL,R_0042_0030__THE_R_0042_0031__TWO_R_0042_0032__ELECTRODES)
      & has_arg0(R_0042_0018__THAT_R_0042_0019__IS,R_0042_0013__A_R_0042_0014__VOLTAGE)
      & r_0042_0015__will_r_0042_0016__be_r_0042_0017__developed(R_0042_0015__WILL_R_0042_0016__BE_R_0042_0017__DEVELOPED)
      & has_arg0(R_0042_0015__WILL_R_0042_0016__BE_R_0042_0017__DEVELOPED,Z_000_42_A_LOB_J01_49)
      & has_arg1(R_0042_0015__WILL_R_0042_0016__BE_R_0042_0017__DEVELOPED,R_0042_0013__A_R_0042_0014__VOLTAGE)
      & has_r_0042_0001__With_nim5(R_0042_0015__WILL_R_0042_0016__BE_R_0042_0017__DEVELOPED,R_0042_0002__THE_R_0042_0003__CELL_R_0042_0004__ELECTRODES)
      & r_0042_0005__consisting(R_0042_0005__CONSISTING)
      & has_r_0042_0006__of_clr18(R_0042_0005__CONSISTING,R_0042_0007__SODIUM)
      & r_0042_0007__sodium(R_0042_0007__SODIUM)
      & has_r_0042_0008__with(R_0042_0007__SODIUM,R_0042_0009__OXYGEN)
      & r_0042_0009__oxygen(R_0042_0009__OXYGEN)
      & has_r_0042_0010__at(R_0042_0009__OXYGEN,R_0042_0012__ACTIVITIES)
      & r_0042_0012__activities(R_0042_0012__ACTIVITIES)
      & has_attrib31(R_0042_0012__ACTIVITIES,R_0042_0011__DIFFERENT)
      & has_arg0(R_0042_0005__CONSISTING,R_0042_0002__THE_R_0042_0003__CELL_R_0042_0004__ELECTRODES) ) ).

( (IP-MAT (PP-NIM (P-ROLE With;{with})
                  (NP (D the;{the})
                      (N cell;{cell})
                      (NS electrodes;{electrode})
                      (IP-PPL (VAG;_Ipr_ consisting;{consist[of]})
                              (PP-CLR (P-ROLE of;{of})
                                      (NP (N sodium;{sodium})
                                          (PP (P-ROLE with;{with})
                                              (NP (N oxygen;{oxygen})
                                                  (PP (P-ROLE at;{at})
                                                      (NP (ADJP (ADJ different;{different}))
                                                          (NS activities;{activity}))))))))))
          (NP-SBJ (D a;{a})
                  (N voltage;{voltage})
                  (IP-REL *ICH*-130))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ developed;{develop})))
          (IP-REL-EPD-130 (C that;{that})
                          (NP-SBJ *T*)
                          (BEP;_Ln_ is;{be})
                          (NP-PRD (D a;{a})
                                  (N function;{function})
                                  (PP (P-ROLE of;{of})
                                      (NP (D the;{the})
                                          (N difference;{difference})
                                          (PP (P-ROLE in;{in})
                                              (NP (D the;{the})
                                                  (N oxygen;{oxygen})
                                                  (N potential;{potential})
                                                  (PP (P-ROLE at;{at})
                                                      (NP (D the;{the})
                                                          (NUM two;{two})
                                                          (NS electrodes;{electrode})))))))))
          (PUNC .))
  (ID 42_a_lob_j01))