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.

( (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))

arc(r_0042_0005__consisting_r_0042_0006__of,r_0042_0002__the_r_0042_0003__cell_r_0042_0004__electrodes,inv_arg0).
arc(r_0042_0005__consisting_r_0042_0006__of,r_0042_0007__sodium,arg1).
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,attrib).
arc(r_0042_0015__will,r_0042_0002__the_r_0042_0003__cell_r_0042_0004__electrodes,r_0042_0001__With__nim).
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_0042_5015___star_,arg0).
arc(r_0042_0019__is,r_0042_0013__a_r_0042_0014__voltage,inv_arg0).
arc(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_0011__DIFFERENT,R_0042_0012__ACTIVITIES,R_0042_0009__OXYGEN,R_0042_0007__SODIUM,R_0042_0005__CONSISTING_R_0042_0006__OF,R_0042_0002__THE_R_0042_0003__CELL_R_0042_0004__ELECTRODES,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_0019__IS,R_0042_0013__A_R_0042_0014__VOLTAGE,Z_0042_5015___STAR_,R_0042_0015__WILL_R_0042_0016__BE_R_0042_0017__DEVELOPED] :
      ( r_0042_0011__different(R_0042_0011__DIFFERENT)
      & 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_0042_5015___star_(Z_0042_5015___STAR_)
      & 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_0042_5015___STAR_)
      & has_arg1(R_0042_0015__WILL_R_0042_0016__BE_R_0042_0017__DEVELOPED,R_0042_0013__A_R_0042_0014__VOLTAGE)
      & r_0042_0013__a_r_0042_0014__voltage(R_0042_0013__A_R_0042_0014__VOLTAGE)
      & has_inv_arg0(R_0042_0013__A_R_0042_0014__VOLTAGE,R_0042_0019__IS)
      & r_0042_0019__is(R_0042_0019__IS)
      & has_prd(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_r_0042_0001__With__nim(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_0002__the_r_0042_0003__cell_r_0042_0004__electrodes(R_0042_0002__THE_R_0042_0003__CELL_R_0042_0004__ELECTRODES)
      & has_inv_arg0(R_0042_0002__THE_R_0042_0003__CELL_R_0042_0004__ELECTRODES,R_0042_0005__CONSISTING_R_0042_0006__OF)
      & r_0042_0005__consisting_r_0042_0006__of(R_0042_0005__CONSISTING_R_0042_0006__OF)
      & has_arg1(R_0042_0005__CONSISTING_R_0042_0006__OF,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_attrib(R_0042_0012__ACTIVITIES,R_0042_0011__DIFFERENT) ) ).