Context                Previous, Next                Top


8_a_lob_j01
The use of solid electrolytes in galvanic cells has been described in detail by Kiukkola and Wagner.

%3 r_0008_0001__The_r_0008_0002__use The use r_0008_0005__electrolytes electrolytes r_0008_0001__The_r_0008_0002__use->r_0008_0005__electrolytes of r_0008_0004__solid solid r_0008_0005__electrolytes->r_0008_0004__solid [attrib] r_0008_0008__cells cells r_0008_0005__electrolytes->r_0008_0008__cells in r_0008_0007__galvanic galvanic r_0008_0008__cells->r_0008_0007__galvanic [attrib] r_0008_0009__has has r_0008_0010__been been r_0008_0009__has->r_0008_0010__been [scope] r_0008_0011__described described r_0008_0010__been->r_0008_0011__described [scope] r_0008_0011__described->r_0008_0001__The_r_0008_0002__use [arg1] r_0008_0013__detail detail r_0008_0011__described->r_0008_0013__detail in [nim] r_0008_0016__and and r_0008_0011__described->r_0008_0016__and [arg0] r_0008_0015__Kiukkola Kiukkola r_0008_0016__and->r_0008_0015__Kiukkola [conj1] r_0008_0017__Wagner Wagner r_0008_0016__and->r_0008_0017__Wagner [conj2] 
arc(r_0008_0001__The_r_0008_0002__use, r_0008_0005__electrolytes, r_0008_0003__of).
arc(r_0008_0005__electrolytes, r_0008_0004__solid, attrib11).
arc(r_0008_0005__electrolytes, r_0008_0008__cells, r_0008_0006__in).
arc(r_0008_0008__cells, r_0008_0007__galvanic, attrib20).
arc(r_0008_0009__has, r_0008_0010__been, scope).
arc(r_0008_0010__been, r_0008_0011__described, scope).
arc(r_0008_0011__described, r_0008_0001__The_r_0008_0002__use, arg1).
arc(r_0008_0011__described, r_0008_0013__detail, r_0008_0012__in_nim36).
arc(r_0008_0011__described, r_0008_0016__and, arg0).
arc(r_0008_0016__and, r_0008_0015__Kiukkola, conj1).
arc(r_0008_0016__and, r_0008_0017__Wagner, conj2).


%3 r_0008_0001__The_r_0008_0002__use The use r_0008_0005__electrolytes electrolytes r_0008_0001__The_r_0008_0002__use->r_0008_0005__electrolytes of r_0008_0004__solid solid r_0008_0005__electrolytes->r_0008_0004__solid [attrib] r_0008_0008__cells cells r_0008_0005__electrolytes->r_0008_0008__cells in r_0008_0007__galvanic galvanic r_0008_0008__cells->r_0008_0007__galvanic [attrib] r_0008_0009__has_r_0008_0010__been_r_0008_0011__described has been described r_0008_0009__has_r_0008_0010__been_r_0008_0011__described->r_0008_0001__The_r_0008_0002__use [arg1] r_0008_0013__detail detail r_0008_0009__has_r_0008_0010__been_r_0008_0011__described->r_0008_0013__detail in [nim] r_0008_0016__and and r_0008_0009__has_r_0008_0010__been_r_0008_0011__described->r_0008_0016__and [arg0] r_0008_0015__Kiukkola Kiukkola r_0008_0016__and->r_0008_0015__Kiukkola [conj1] r_0008_0017__Wagner Wagner r_0008_0016__and->r_0008_0017__Wagner [conj2] 
fof(formula,axiom,
    ? [R_8_9_HAS_BEEN_DESCRIBED,R_8_16_AND,R_8_15_KIUKKOLA,R_8_17_WAGNER,R_8_1_THE_USE,R_8_5_ELECTROLYTES,R_8_4_SOLID,R_8_8_CELLS,R_8_7_GALVANIC,R_8_13_DETAIL] :
      ( kiukkola(R_8_15_KIUKKOLA)
      & wagner(R_8_17_WAGNER)
      & solid(R_8_4_SOLID)
      & galvanic(R_8_7_GALVANIC)
      & detail(R_8_13_DETAIL)
      & has_been_described(R_8_9_HAS_BEEN_DESCRIBED,R_8_16_AND,R_8_1_THE_USE)
      & and(R_8_16_AND)
      & conj1(R_8_16_AND,R_8_15_KIUKKOLA)
      & conj2(R_8_16_AND,R_8_17_WAGNER)
      & the_use(R_8_1_THE_USE)
      & of(R_8_1_THE_USE,R_8_5_ELECTROLYTES)
      & electrolytes(R_8_5_ELECTROLYTES)
      & attrib11(R_8_5_ELECTROLYTES,R_8_4_SOLID)
      & in(R_8_5_ELECTROLYTES,R_8_8_CELLS)
      & cells(R_8_8_CELLS)
      & attrib20(R_8_8_CELLS,R_8_7_GALVANIC)
      & in_nim36(R_8_9_HAS_BEEN_DESCRIBED,R_8_13_DETAIL) ) ).


n8_a_lob_j01 n8_a_lob_j01_4 The n8_a_lob_j01_6 use n8_a_lob_j01_9 of n8_a_lob_j01_13 solid n8_a_lob_j01_15 electrolytes n8_a_lob_j01_18 in n8_a_lob_j01_22 galvanic n8_a_lob_j01_24 cells n8_a_lob_j01_26 has n8_a_lob_j01_29 been n8_a_lob_j01_32 described n8_a_lob_j01_35 in n8_a_lob_j01_38 detail n8_a_lob_j01_41 by n8_a_lob_j01_46 Kiukkola n8_a_lob_j01_49 and n8_a_lob_j01_52 Wagner n8_a_lob_j01_54 . n8_a_lob_j01_1 IP-MAT n8_a_lob_j01_2 NP-SBJ n8_a_lob_j01_1->n8_a_lob_j01_2 n8_a_lob_j01_25 HVP;_cat_Ve_ n8_a_lob_j01_1->n8_a_lob_j01_25 n8_a_lob_j01_27 IP-PPL-CAT n8_a_lob_j01_1->n8_a_lob_j01_27 n8_a_lob_j01_53 PUNC n8_a_lob_j01_1->n8_a_lob_j01_53 n8_a_lob_j01_3 D n8_a_lob_j01_2->n8_a_lob_j01_3 n8_a_lob_j01_5 N n8_a_lob_j01_2->n8_a_lob_j01_5 n8_a_lob_j01_7 PP n8_a_lob_j01_2->n8_a_lob_j01_7 n8_a_lob_j01_3->n8_a_lob_j01_4 n8_a_lob_j01_5->n8_a_lob_j01_6 n8_a_lob_j01_8 P-ROLE n8_a_lob_j01_7->n8_a_lob_j01_8 n8_a_lob_j01_10 NP n8_a_lob_j01_7->n8_a_lob_j01_10 n8_a_lob_j01_8->n8_a_lob_j01_9 n8_a_lob_j01_11 ADJP n8_a_lob_j01_10->n8_a_lob_j01_11 n8_a_lob_j01_14 NS n8_a_lob_j01_10->n8_a_lob_j01_14 n8_a_lob_j01_16 PP n8_a_lob_j01_10->n8_a_lob_j01_16 n8_a_lob_j01_12 ADJ n8_a_lob_j01_11->n8_a_lob_j01_12 n8_a_lob_j01_12->n8_a_lob_j01_13 n8_a_lob_j01_14->n8_a_lob_j01_15 n8_a_lob_j01_17 P-ROLE n8_a_lob_j01_16->n8_a_lob_j01_17 n8_a_lob_j01_19 NP n8_a_lob_j01_16->n8_a_lob_j01_19 n8_a_lob_j01_17->n8_a_lob_j01_18 n8_a_lob_j01_20 ADJP n8_a_lob_j01_19->n8_a_lob_j01_20 n8_a_lob_j01_23 NS n8_a_lob_j01_19->n8_a_lob_j01_23 n8_a_lob_j01_21 ADJ n8_a_lob_j01_20->n8_a_lob_j01_21 n8_a_lob_j01_21->n8_a_lob_j01_22 n8_a_lob_j01_23->n8_a_lob_j01_24 n8_a_lob_j01_25->n8_a_lob_j01_26 n8_a_lob_j01_28 BEN;_cat_VePASS_ n8_a_lob_j01_27->n8_a_lob_j01_28 n8_a_lob_j01_30 IP-PPL-CAT n8_a_lob_j01_27->n8_a_lob_j01_30 n8_a_lob_j01_28->n8_a_lob_j01_29 n8_a_lob_j01_31 VVN;_Tn_ n8_a_lob_j01_30->n8_a_lob_j01_31 n8_a_lob_j01_33 PP-NIM n8_a_lob_j01_30->n8_a_lob_j01_33 n8_a_lob_j01_39 PP-LGS n8_a_lob_j01_30->n8_a_lob_j01_39 n8_a_lob_j01_31->n8_a_lob_j01_32 n8_a_lob_j01_34 P-ROLE n8_a_lob_j01_33->n8_a_lob_j01_34 n8_a_lob_j01_36 NP n8_a_lob_j01_33->n8_a_lob_j01_36 n8_a_lob_j01_34->n8_a_lob_j01_35 n8_a_lob_j01_37 N n8_a_lob_j01_36->n8_a_lob_j01_37 n8_a_lob_j01_37->n8_a_lob_j01_38 n8_a_lob_j01_40 P-ROLE;_lgs_ n8_a_lob_j01_39->n8_a_lob_j01_40 n8_a_lob_j01_42 NP n8_a_lob_j01_39->n8_a_lob_j01_42 n8_a_lob_j01_40->n8_a_lob_j01_41 n8_a_lob_j01_43 NLYR n8_a_lob_j01_42->n8_a_lob_j01_43 n8_a_lob_j01_44 NLYR n8_a_lob_j01_43->n8_a_lob_j01_44 n8_a_lob_j01_47 CONJP n8_a_lob_j01_43->n8_a_lob_j01_47 n8_a_lob_j01_45 NPR n8_a_lob_j01_44->n8_a_lob_j01_45 n8_a_lob_j01_45->n8_a_lob_j01_46 n8_a_lob_j01_48 CONJ n8_a_lob_j01_47->n8_a_lob_j01_48 n8_a_lob_j01_50 NLYR n8_a_lob_j01_47->n8_a_lob_j01_50 n8_a_lob_j01_48->n8_a_lob_j01_49 n8_a_lob_j01_51 NPR n8_a_lob_j01_50->n8_a_lob_j01_51 n8_a_lob_j01_51->n8_a_lob_j01_52 n8_a_lob_j01_53->n8_a_lob_j01_54 
( (IP-MAT (NP-SBJ (D The;{the})
                  (N use;{use})
                  (PP (P-ROLE of;{of})
                      (NP (ADJP (ADJ solid;{solid}))
                          (NS electrolytes;{electrolyte})
                          (PP (P-ROLE in;{in})
                              (NP (ADJP (ADJ galvanic;{galvanic}))
                                  (NS cells;{cell}))))))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                      (IP-PPL-CAT (VVN;_Tn_ described;{describe})
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (N detail;{detail})))
                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                          (NP (NLYR (NLYR (NPR Kiukkola;{Kiukkola}))
                                                    (CONJP (CONJ and;{and})
                                                           (NLYR (NPR Wagner;{Wagner}))))))))
          (PUNC .))
  (ID 8_a_lob_j01))