Context                Previous, Next                Top


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.

%3 r_0042_0005__consisting consisting r_0042_0002__the_r_0042_0003__cell_r_0042_0004__electrodes the cell electrodes r_0042_0005__consisting->r_0042_0002__the_r_0042_0003__cell_r_0042_0004__electrodes [arg0] r_0042_0007__sodium sodium r_0042_0005__consisting->r_0042_0007__sodium of [clr] r_0042_0009__oxygen oxygen r_0042_0007__sodium->r_0042_0009__oxygen with r_0042_0012__activities activities r_0042_0009__oxygen->r_0042_0012__activities at r_0042_0011__different different r_0042_0012__activities->r_0042_0011__different [attrib] r_0042_0015__will will r_0042_0015__will->r_0042_0002__the_r_0042_0003__cell_r_0042_0004__electrodes With [nim] r_0042_0016__be be r_0042_0015__will->r_0042_0016__be [scope] r_0042_0017__developed developed r_0042_0016__be->r_0042_0017__developed [scope] r_0042_0013__a_r_0042_0014__voltage a voltage r_0042_0017__developed->r_0042_0013__a_r_0042_0014__voltage [arg1] z_000_42_a_lob_j01_49 r_0042_0017__developed->z_000_42_a_lob_j01_49 [arg0] r_0042_0018__that_r_0042_0019__is that is r_0042_0018__that_r_0042_0019__is->r_0042_0013__a_r_0042_0014__voltage [arg0] r_0042_0020__a_r_0042_0021__function a function r_0042_0018__that_r_0042_0019__is->r_0042_0020__a_r_0042_0021__function [prd] r_0042_0023__the_r_0042_0024__difference the difference r_0042_0020__a_r_0042_0021__function->r_0042_0023__the_r_0042_0024__difference of r_0042_0026__the_r_0042_0027__oxygen_r_0042_0028__potential the oxygen potential r_0042_0023__the_r_0042_0024__difference->r_0042_0026__the_r_0042_0027__oxygen_r_0042_0028__potential in r_0042_0030__the_r_0042_0031__two_r_0042_0032__electrodes the two electrodes r_0042_0026__the_r_0042_0027__oxygen_r_0042_0028__potential->r_0042_0030__the_r_0042_0031__two_r_0042_0032__electrodes at 
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).


%3 r_0042_0005__consisting consisting r_0042_0002__the_r_0042_0003__cell_r_0042_0004__electrodes the cell electrodes r_0042_0005__consisting->r_0042_0002__the_r_0042_0003__cell_r_0042_0004__electrodes [arg0] r_0042_0007__sodium sodium r_0042_0005__consisting->r_0042_0007__sodium of [clr] r_0042_0009__oxygen oxygen r_0042_0007__sodium->r_0042_0009__oxygen with r_0042_0012__activities activities r_0042_0009__oxygen->r_0042_0012__activities at r_0042_0011__different different r_0042_0012__activities->r_0042_0011__different [attrib] r_0042_0015__will_r_0042_0016__be_r_0042_0017__developed will be developed r_0042_0015__will_r_0042_0016__be_r_0042_0017__developed->r_0042_0002__the_r_0042_0003__cell_r_0042_0004__electrodes With [nim] r_0042_0013__a_r_0042_0014__voltage a voltage r_0042_0015__will_r_0042_0016__be_r_0042_0017__developed->r_0042_0013__a_r_0042_0014__voltage [arg1] z_000_42_a_lob_j01_49 r_0042_0015__will_r_0042_0016__be_r_0042_0017__developed->z_000_42_a_lob_j01_49 [arg0] r_0042_0018__that_r_0042_0019__is that is r_0042_0018__that_r_0042_0019__is->r_0042_0013__a_r_0042_0014__voltage [arg0] r_0042_0020__a_r_0042_0021__function a function r_0042_0018__that_r_0042_0019__is->r_0042_0020__a_r_0042_0021__function [prd] r_0042_0023__the_r_0042_0024__difference the difference r_0042_0020__a_r_0042_0021__function->r_0042_0023__the_r_0042_0024__difference of r_0042_0026__the_r_0042_0027__oxygen_r_0042_0028__potential the oxygen potential r_0042_0023__the_r_0042_0024__difference->r_0042_0026__the_r_0042_0027__oxygen_r_0042_0028__potential in r_0042_0030__the_r_0042_0031__two_r_0042_0032__electrodes the two electrodes r_0042_0026__the_r_0042_0027__oxygen_r_0042_0028__potential->r_0042_0030__the_r_0042_0031__two_r_0042_0032__electrodes at 
fof(formula,axiom,
    ? [R_42_5_CONSISTING,R_42_7_SODIUM,R_42_9_OXYGEN,R_42_12_ACTIVITIES,R_42_11_DIFFERENT,R_42_15_WILL_BE_DEVELOPED,Z_42_A_LOB_J01_49,R_42_2_THE_CELL_ELECTRODES,R_42_18_THAT_IS,R_42_13_A_VOLTAGE,R_42_20_A_FUNCTION,R_42_23_THE_DIFFERENCE,R_42_26_THE_OXYGEN_POTENTIAL,R_42_30_THE_TWO_ELECTRODES] :
      ( different(R_42_11_DIFFERENT)
      & the_cell_electrodes(R_42_2_THE_CELL_ELECTRODES)
      & a_voltage(R_42_13_A_VOLTAGE)
      & the_two_electrodes(R_42_30_THE_TWO_ELECTRODES)
      & consisting(R_42_5_CONSISTING,R_42_2_THE_CELL_ELECTRODES)
      & of_clr18(R_42_5_CONSISTING,R_42_7_SODIUM)
      & sodium(R_42_7_SODIUM)
      & with(R_42_7_SODIUM,R_42_9_OXYGEN)
      & oxygen(R_42_9_OXYGEN)
      & at(R_42_9_OXYGEN,R_42_12_ACTIVITIES)
      & activities(R_42_12_ACTIVITIES)
      & attrib31(R_42_12_ACTIVITIES,R_42_11_DIFFERENT)
      & will_be_developed(R_42_15_WILL_BE_DEVELOPED,Z_42_A_LOB_J01_49,R_42_13_A_VOLTAGE)
      & with_nim5(R_42_15_WILL_BE_DEVELOPED,R_42_2_THE_CELL_ELECTRODES)
      & that_is(R_42_18_THAT_IS,R_42_13_A_VOLTAGE,R_42_20_A_FUNCTION)
      & a_function(R_42_20_A_FUNCTION)
      & of(R_42_20_A_FUNCTION,R_42_23_THE_DIFFERENCE)
      & the_difference(R_42_23_THE_DIFFERENCE)
      & in(R_42_23_THE_DIFFERENCE,R_42_26_THE_OXYGEN_POTENTIAL)
      & the_oxygen_potential(R_42_26_THE_OXYGEN_POTENTIAL)
      & at(R_42_26_THE_OXYGEN_POTENTIAL,R_42_30_THE_TWO_ELECTRODES) ) ).


n42_a_lob_j01 n42_a_lob_j01_4 With n42_a_lob_j01_7 the n42_a_lob_j01_9 cell n42_a_lob_j01_11 electrodes n42_a_lob_j01_14 consisting n42_a_lob_j01_17 of n42_a_lob_j01_20 sodium n42_a_lob_j01_23 with n42_a_lob_j01_26 oxygen n42_a_lob_j01_29 at n42_a_lob_j01_33 different n42_a_lob_j01_35 activities n42_a_lob_j01_38 a n42_a_lob_j01_40 voltage n42_a_lob_j01_42 *ICH*-130 n42_a_lob_j01_44 will n42_a_lob_j01_47 be n42_a_lob_j01_50 * n42_a_lob_j01_52 developed n42_a_lob_j01_55 that n42_a_lob_j01_57 *T* n42_a_lob_j01_59 is n42_a_lob_j01_62 a n42_a_lob_j01_64 function n42_a_lob_j01_67 of n42_a_lob_j01_70 the n42_a_lob_j01_72 difference n42_a_lob_j01_75 in n42_a_lob_j01_78 the n42_a_lob_j01_80 oxygen n42_a_lob_j01_82 potential n42_a_lob_j01_85 at n42_a_lob_j01_88 the n42_a_lob_j01_90 two n42_a_lob_j01_92 electrodes n42_a_lob_j01_94 . n42_a_lob_j01_1 IP-MAT n42_a_lob_j01_2 PP-NIM n42_a_lob_j01_1->n42_a_lob_j01_2 n42_a_lob_j01_36 NP-SBJ n42_a_lob_j01_1->n42_a_lob_j01_36 n42_a_lob_j01_43 MD;_cat_Vi_ n42_a_lob_j01_1->n42_a_lob_j01_43 n42_a_lob_j01_45 IP-INF-CAT n42_a_lob_j01_1->n42_a_lob_j01_45 n42_a_lob_j01_53 IP-REL-EPD-130 n42_a_lob_j01_1->n42_a_lob_j01_53 n42_a_lob_j01_93 PUNC n42_a_lob_j01_1->n42_a_lob_j01_93 n42_a_lob_j01_3 P-ROLE n42_a_lob_j01_2->n42_a_lob_j01_3 n42_a_lob_j01_5 NP n42_a_lob_j01_2->n42_a_lob_j01_5 n42_a_lob_j01_3->n42_a_lob_j01_4 n42_a_lob_j01_6 D n42_a_lob_j01_5->n42_a_lob_j01_6 n42_a_lob_j01_8 N n42_a_lob_j01_5->n42_a_lob_j01_8 n42_a_lob_j01_10 NS n42_a_lob_j01_5->n42_a_lob_j01_10 n42_a_lob_j01_12 IP-PPL n42_a_lob_j01_5->n42_a_lob_j01_12 n42_a_lob_j01_6->n42_a_lob_j01_7 n42_a_lob_j01_8->n42_a_lob_j01_9 n42_a_lob_j01_10->n42_a_lob_j01_11 n42_a_lob_j01_13 VAG;_Ipr_ n42_a_lob_j01_12->n42_a_lob_j01_13 n42_a_lob_j01_15 PP-CLR n42_a_lob_j01_12->n42_a_lob_j01_15 n42_a_lob_j01_13->n42_a_lob_j01_14 n42_a_lob_j01_16 P-ROLE n42_a_lob_j01_15->n42_a_lob_j01_16 n42_a_lob_j01_18 NP n42_a_lob_j01_15->n42_a_lob_j01_18 n42_a_lob_j01_16->n42_a_lob_j01_17 n42_a_lob_j01_19 N n42_a_lob_j01_18->n42_a_lob_j01_19 n42_a_lob_j01_21 PP n42_a_lob_j01_18->n42_a_lob_j01_21 n42_a_lob_j01_19->n42_a_lob_j01_20 n42_a_lob_j01_22 P-ROLE n42_a_lob_j01_21->n42_a_lob_j01_22 n42_a_lob_j01_24 NP n42_a_lob_j01_21->n42_a_lob_j01_24 n42_a_lob_j01_22->n42_a_lob_j01_23 n42_a_lob_j01_25 N n42_a_lob_j01_24->n42_a_lob_j01_25 n42_a_lob_j01_27 PP n42_a_lob_j01_24->n42_a_lob_j01_27 n42_a_lob_j01_25->n42_a_lob_j01_26 n42_a_lob_j01_28 P-ROLE n42_a_lob_j01_27->n42_a_lob_j01_28 n42_a_lob_j01_30 NP n42_a_lob_j01_27->n42_a_lob_j01_30 n42_a_lob_j01_28->n42_a_lob_j01_29 n42_a_lob_j01_31 ADJP n42_a_lob_j01_30->n42_a_lob_j01_31 n42_a_lob_j01_34 NS n42_a_lob_j01_30->n42_a_lob_j01_34 n42_a_lob_j01_32 ADJ n42_a_lob_j01_31->n42_a_lob_j01_32 n42_a_lob_j01_32->n42_a_lob_j01_33 n42_a_lob_j01_34->n42_a_lob_j01_35 n42_a_lob_j01_37 D n42_a_lob_j01_36->n42_a_lob_j01_37 n42_a_lob_j01_39 N n42_a_lob_j01_36->n42_a_lob_j01_39 n42_a_lob_j01_41 IP-REL n42_a_lob_j01_36->n42_a_lob_j01_41 n42_a_lob_j01_37->n42_a_lob_j01_38 n42_a_lob_j01_39->n42_a_lob_j01_40 n42_a_lob_j01_41->n42_a_lob_j01_42 n42_a_lob_j01_43->n42_a_lob_j01_44 n42_a_lob_j01_46 BE;_cat_VePASS_ n42_a_lob_j01_45->n42_a_lob_j01_46 n42_a_lob_j01_48 IP-PPL-CAT n42_a_lob_j01_45->n42_a_lob_j01_48 n42_a_lob_j01_46->n42_a_lob_j01_47 n42_a_lob_j01_49 NP-LGS n42_a_lob_j01_48->n42_a_lob_j01_49 n42_a_lob_j01_51 VVN;_Tn_ n42_a_lob_j01_48->n42_a_lob_j01_51 n42_a_lob_j01_49->n42_a_lob_j01_50 n42_a_lob_j01_51->n42_a_lob_j01_52 n42_a_lob_j01_54 C n42_a_lob_j01_53->n42_a_lob_j01_54 n42_a_lob_j01_56 NP-SBJ n42_a_lob_j01_53->n42_a_lob_j01_56 n42_a_lob_j01_58 BEP;_Ln_ n42_a_lob_j01_53->n42_a_lob_j01_58 n42_a_lob_j01_60 NP-PRD n42_a_lob_j01_53->n42_a_lob_j01_60 n42_a_lob_j01_54->n42_a_lob_j01_55 n42_a_lob_j01_56->n42_a_lob_j01_57 n42_a_lob_j01_58->n42_a_lob_j01_59 n42_a_lob_j01_61 D n42_a_lob_j01_60->n42_a_lob_j01_61 n42_a_lob_j01_63 N n42_a_lob_j01_60->n42_a_lob_j01_63 n42_a_lob_j01_65 PP n42_a_lob_j01_60->n42_a_lob_j01_65 n42_a_lob_j01_61->n42_a_lob_j01_62 n42_a_lob_j01_63->n42_a_lob_j01_64 n42_a_lob_j01_66 P-ROLE n42_a_lob_j01_65->n42_a_lob_j01_66 n42_a_lob_j01_68 NP n42_a_lob_j01_65->n42_a_lob_j01_68 n42_a_lob_j01_66->n42_a_lob_j01_67 n42_a_lob_j01_69 D n42_a_lob_j01_68->n42_a_lob_j01_69 n42_a_lob_j01_71 N n42_a_lob_j01_68->n42_a_lob_j01_71 n42_a_lob_j01_73 PP n42_a_lob_j01_68->n42_a_lob_j01_73 n42_a_lob_j01_69->n42_a_lob_j01_70 n42_a_lob_j01_71->n42_a_lob_j01_72 n42_a_lob_j01_74 P-ROLE n42_a_lob_j01_73->n42_a_lob_j01_74 n42_a_lob_j01_76 NP n42_a_lob_j01_73->n42_a_lob_j01_76 n42_a_lob_j01_74->n42_a_lob_j01_75 n42_a_lob_j01_77 D n42_a_lob_j01_76->n42_a_lob_j01_77 n42_a_lob_j01_79 N n42_a_lob_j01_76->n42_a_lob_j01_79 n42_a_lob_j01_81 N n42_a_lob_j01_76->n42_a_lob_j01_81 n42_a_lob_j01_83 PP n42_a_lob_j01_76->n42_a_lob_j01_83 n42_a_lob_j01_77->n42_a_lob_j01_78 n42_a_lob_j01_79->n42_a_lob_j01_80 n42_a_lob_j01_81->n42_a_lob_j01_82 n42_a_lob_j01_84 P-ROLE n42_a_lob_j01_83->n42_a_lob_j01_84 n42_a_lob_j01_86 NP n42_a_lob_j01_83->n42_a_lob_j01_86 n42_a_lob_j01_84->n42_a_lob_j01_85 n42_a_lob_j01_87 D n42_a_lob_j01_86->n42_a_lob_j01_87 n42_a_lob_j01_89 NUM n42_a_lob_j01_86->n42_a_lob_j01_89 n42_a_lob_j01_91 NS n42_a_lob_j01_86->n42_a_lob_j01_91 n42_a_lob_j01_87->n42_a_lob_j01_88 n42_a_lob_j01_89->n42_a_lob_j01_90 n42_a_lob_j01_91->n42_a_lob_j01_92 n42_a_lob_j01_93->n42_a_lob_j01_94 
( (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))