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_0016__and and r_0008_0017__Wagner Wagner r_0008_0016__and->r_0008_0017__Wagner [conj2] r_0008_0015__Kiukkola Kiukkola r_0008_0016__and->r_0008_0015__Kiukkola [conj1] 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_0016__and [arg0] 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_0001__The_r_0008_0002__use The use r_0008_0009__has_r_0008_0010__been_r_0008_0011__described->r_0008_0001__The_r_0008_0002__use [arg1] r_0008_0005__electrolytes electrolytes r_0008_0001__The_r_0008_0002__use->r_0008_0005__electrolytes of r_0008_0008__cells cells r_0008_0007__galvanic galvanic r_0008_0008__cells->r_0008_0007__galvanic [attrib] r_0008_0005__electrolytes->r_0008_0008__cells in r_0008_0004__solid solid r_0008_0005__electrolytes->r_0008_0004__solid [attrib] 
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__1_1_1_1 The n8_a_lob_j01__1_1_2_1 use n8_a_lob_j01__1_1_3_1_1 of n8_a_lob_j01__1_1_3_2_1_1_1 solid n8_a_lob_j01__1_1_3_2_2_1 electrolytes n8_a_lob_j01__1_1_3_2_3_1_1 in n8_a_lob_j01__1_1_3_2_3_2_1_1_1 galvanic n8_a_lob_j01__1_1_3_2_3_2_2_1 cells n8_a_lob_j01__1_2_1 has n8_a_lob_j01__1_3_1_1 been n8_a_lob_j01__1_3_2_1_1 described n8_a_lob_j01__1_3_2_2_1_1 in n8_a_lob_j01__1_3_2_2_2_1_1 detail n8_a_lob_j01__1_3_2_3_1_1 by n8_a_lob_j01__1_3_2_3_2_1_1_1_1 Kiukkola n8_a_lob_j01__1_3_2_3_2_1_2_1_1 and n8_a_lob_j01__1_3_2_3_2_1_2_2_1_1 Wagner n8_a_lob_j01__1_4_1 . n8_a_lob_j01__1 IP-MAT n8_a_lob_j01__1_1 NP-SBJ n8_a_lob_j01__1->n8_a_lob_j01__1_1 n8_a_lob_j01__1_2 HVP;_cat_Ve_ n8_a_lob_j01__1->n8_a_lob_j01__1_2 n8_a_lob_j01__1_3 IP-PPL-CAT n8_a_lob_j01__1->n8_a_lob_j01__1_3 n8_a_lob_j01__1_4 PUNC n8_a_lob_j01__1->n8_a_lob_j01__1_4 n8_a_lob_j01__1_1_1 D n8_a_lob_j01__1_1->n8_a_lob_j01__1_1_1 n8_a_lob_j01__1_1_2 N n8_a_lob_j01__1_1->n8_a_lob_j01__1_1_2 n8_a_lob_j01__1_1_3 PP n8_a_lob_j01__1_1->n8_a_lob_j01__1_1_3 n8_a_lob_j01__1_1_1->n8_a_lob_j01__1_1_1_1 n8_a_lob_j01__1_1_2->n8_a_lob_j01__1_1_2_1 n8_a_lob_j01__1_1_3_1 P-ROLE n8_a_lob_j01__1_1_3->n8_a_lob_j01__1_1_3_1 n8_a_lob_j01__1_1_3_2 NP n8_a_lob_j01__1_1_3->n8_a_lob_j01__1_1_3_2 n8_a_lob_j01__1_1_3_1->n8_a_lob_j01__1_1_3_1_1 n8_a_lob_j01__1_1_3_2_1 ADJP n8_a_lob_j01__1_1_3_2->n8_a_lob_j01__1_1_3_2_1 n8_a_lob_j01__1_1_3_2_2 NS n8_a_lob_j01__1_1_3_2->n8_a_lob_j01__1_1_3_2_2 n8_a_lob_j01__1_1_3_2_3 PP n8_a_lob_j01__1_1_3_2->n8_a_lob_j01__1_1_3_2_3 n8_a_lob_j01__1_1_3_2_1_1 ADJ n8_a_lob_j01__1_1_3_2_1->n8_a_lob_j01__1_1_3_2_1_1 n8_a_lob_j01__1_1_3_2_1_1->n8_a_lob_j01__1_1_3_2_1_1_1 n8_a_lob_j01__1_1_3_2_2->n8_a_lob_j01__1_1_3_2_2_1 n8_a_lob_j01__1_1_3_2_3_1 P-ROLE n8_a_lob_j01__1_1_3_2_3->n8_a_lob_j01__1_1_3_2_3_1 n8_a_lob_j01__1_1_3_2_3_2 NP n8_a_lob_j01__1_1_3_2_3->n8_a_lob_j01__1_1_3_2_3_2 n8_a_lob_j01__1_1_3_2_3_1->n8_a_lob_j01__1_1_3_2_3_1_1 n8_a_lob_j01__1_1_3_2_3_2_1 ADJP n8_a_lob_j01__1_1_3_2_3_2->n8_a_lob_j01__1_1_3_2_3_2_1 n8_a_lob_j01__1_1_3_2_3_2_2 NS n8_a_lob_j01__1_1_3_2_3_2->n8_a_lob_j01__1_1_3_2_3_2_2 n8_a_lob_j01__1_1_3_2_3_2_1_1 ADJ n8_a_lob_j01__1_1_3_2_3_2_1->n8_a_lob_j01__1_1_3_2_3_2_1_1 n8_a_lob_j01__1_1_3_2_3_2_1_1->n8_a_lob_j01__1_1_3_2_3_2_1_1_1 n8_a_lob_j01__1_1_3_2_3_2_2->n8_a_lob_j01__1_1_3_2_3_2_2_1 n8_a_lob_j01__1_2->n8_a_lob_j01__1_2_1 n8_a_lob_j01__1_3_1 BEN;_cat_VePASS_ n8_a_lob_j01__1_3->n8_a_lob_j01__1_3_1 n8_a_lob_j01__1_3_2 IP-PPL-CAT n8_a_lob_j01__1_3->n8_a_lob_j01__1_3_2 n8_a_lob_j01__1_3_1->n8_a_lob_j01__1_3_1_1 n8_a_lob_j01__1_3_2_1 VVN;_Tn_ n8_a_lob_j01__1_3_2->n8_a_lob_j01__1_3_2_1 n8_a_lob_j01__1_3_2_2 PP-NIM n8_a_lob_j01__1_3_2->n8_a_lob_j01__1_3_2_2 n8_a_lob_j01__1_3_2_3 PP-LGS n8_a_lob_j01__1_3_2->n8_a_lob_j01__1_3_2_3 n8_a_lob_j01__1_3_2_1->n8_a_lob_j01__1_3_2_1_1 n8_a_lob_j01__1_3_2_2_1 P-ROLE n8_a_lob_j01__1_3_2_2->n8_a_lob_j01__1_3_2_2_1 n8_a_lob_j01__1_3_2_2_2 NP n8_a_lob_j01__1_3_2_2->n8_a_lob_j01__1_3_2_2_2 n8_a_lob_j01__1_3_2_2_1->n8_a_lob_j01__1_3_2_2_1_1 n8_a_lob_j01__1_3_2_2_2_1 N n8_a_lob_j01__1_3_2_2_2->n8_a_lob_j01__1_3_2_2_2_1 n8_a_lob_j01__1_3_2_2_2_1->n8_a_lob_j01__1_3_2_2_2_1_1 n8_a_lob_j01__1_3_2_3_1 P-ROLE;_lgs_ n8_a_lob_j01__1_3_2_3->n8_a_lob_j01__1_3_2_3_1 n8_a_lob_j01__1_3_2_3_2 NP n8_a_lob_j01__1_3_2_3->n8_a_lob_j01__1_3_2_3_2 n8_a_lob_j01__1_3_2_3_1->n8_a_lob_j01__1_3_2_3_1_1 n8_a_lob_j01__1_3_2_3_2_1 NLYR n8_a_lob_j01__1_3_2_3_2->n8_a_lob_j01__1_3_2_3_2_1 n8_a_lob_j01__1_3_2_3_2_1_1 NLYR n8_a_lob_j01__1_3_2_3_2_1->n8_a_lob_j01__1_3_2_3_2_1_1 n8_a_lob_j01__1_3_2_3_2_1_2 CONJP n8_a_lob_j01__1_3_2_3_2_1->n8_a_lob_j01__1_3_2_3_2_1_2 n8_a_lob_j01__1_3_2_3_2_1_1_1 NPR n8_a_lob_j01__1_3_2_3_2_1_1->n8_a_lob_j01__1_3_2_3_2_1_1_1 n8_a_lob_j01__1_3_2_3_2_1_1_1->n8_a_lob_j01__1_3_2_3_2_1_1_1_1 n8_a_lob_j01__1_3_2_3_2_1_2_1 CONJ n8_a_lob_j01__1_3_2_3_2_1_2->n8_a_lob_j01__1_3_2_3_2_1_2_1 n8_a_lob_j01__1_3_2_3_2_1_2_2 NLYR n8_a_lob_j01__1_3_2_3_2_1_2->n8_a_lob_j01__1_3_2_3_2_1_2_2 n8_a_lob_j01__1_3_2_3_2_1_2_1->n8_a_lob_j01__1_3_2_3_2_1_2_1_1 n8_a_lob_j01__1_3_2_3_2_1_2_2_1 NPR n8_a_lob_j01__1_3_2_3_2_1_2_2->n8_a_lob_j01__1_3_2_3_2_1_2_2_1 n8_a_lob_j01__1_3_2_3_2_1_2_2_1->n8_a_lob_j01__1_3_2_3_2_1_2_2_1_1 n8_a_lob_j01__1_4->n8_a_lob_j01__1_4_1 
( (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))