Context                Previous, Next                Top


41_a_lob_j01
The use of the cell as a corrosion meter.

%3 r_0041_0001__The_r_0041_0002__use The use r_0041_0004__the_r_0041_0005__cell the cell r_0041_0001__The_r_0041_0002__use->r_0041_0004__the_r_0041_0005__cell of r_0041_0007__a_r_0041_0008__corrosion_r_0041_0009__meter a corrosion meter r_0041_0004__the_r_0041_0005__cell->r_0041_0007__a_r_0041_0008__corrosion_r_0041_0009__meter as z_000_41_a_lob_j01_1 z_000_41_a_lob_j01_1->r_0041_0001__The_r_0041_0002__use [nim] 
arc(r_0041_0001__The_r_0041_0002__use, r_0041_0004__the_r_0041_0005__cell, r_0041_0003__of).
arc(r_0041_0004__the_r_0041_0005__cell, r_0041_0007__a_r_0041_0008__corrosion_r_0041_0009__meter, r_0041_0006__as).
arc(z_000_41_a_lob_j01_1, r_0041_0001__The_r_0041_0002__use, nim2).


%3 z_000_41_a_lob_j01_1 r_0041_0001__The_r_0041_0002__use The use z_000_41_a_lob_j01_1->r_0041_0001__The_r_0041_0002__use [nim] r_0041_0004__the_r_0041_0005__cell the cell r_0041_0001__The_r_0041_0002__use->r_0041_0004__the_r_0041_0005__cell of r_0041_0007__a_r_0041_0008__corrosion_r_0041_0009__meter a corrosion meter r_0041_0004__the_r_0041_0005__cell->r_0041_0007__a_r_0041_0008__corrosion_r_0041_0009__meter as 
fof(formula,axiom,
    ? [Z_41_A_LOB_J01_1,R_41_1_THE_USE,R_41_4_THE_CELL,R_41_7_A_CORROSION_METER] :
      ( a_corrosion_meter(R_41_7_A_CORROSION_METER)
      & z_41_a_lob_j01_1(Z_41_A_LOB_J01_1)
      & nim2(Z_41_A_LOB_J01_1,R_41_1_THE_USE)
      & the_use(R_41_1_THE_USE)
      & of(R_41_1_THE_USE,R_41_4_THE_CELL)
      & the_cell(R_41_4_THE_CELL)
      & as(R_41_4_THE_CELL,R_41_7_A_CORROSION_METER) ) ).


n41_a_lob_j01 n41_a_lob_j01__1_1_1_1 The n41_a_lob_j01__1_1_2_1 use n41_a_lob_j01__1_1_3_1_1 of n41_a_lob_j01__1_1_3_2_1_1 the n41_a_lob_j01__1_1_3_2_2_1 cell n41_a_lob_j01__1_1_3_2_3_1_1 as n41_a_lob_j01__1_1_3_2_3_2_1_1 a n41_a_lob_j01__1_1_3_2_3_2_2_1 corrosion n41_a_lob_j01__1_1_3_2_3_2_3_1 meter n41_a_lob_j01__1_2_1 . n41_a_lob_j01__1 FRAG n41_a_lob_j01__1_1 NP n41_a_lob_j01__1->n41_a_lob_j01__1_1 n41_a_lob_j01__1_2 PUNC n41_a_lob_j01__1->n41_a_lob_j01__1_2 n41_a_lob_j01__1_1_1 D n41_a_lob_j01__1_1->n41_a_lob_j01__1_1_1 n41_a_lob_j01__1_1_2 N n41_a_lob_j01__1_1->n41_a_lob_j01__1_1_2 n41_a_lob_j01__1_1_3 PP n41_a_lob_j01__1_1->n41_a_lob_j01__1_1_3 n41_a_lob_j01__1_1_1->n41_a_lob_j01__1_1_1_1 n41_a_lob_j01__1_1_2->n41_a_lob_j01__1_1_2_1 n41_a_lob_j01__1_1_3_1 P-ROLE n41_a_lob_j01__1_1_3->n41_a_lob_j01__1_1_3_1 n41_a_lob_j01__1_1_3_2 NP n41_a_lob_j01__1_1_3->n41_a_lob_j01__1_1_3_2 n41_a_lob_j01__1_1_3_1->n41_a_lob_j01__1_1_3_1_1 n41_a_lob_j01__1_1_3_2_1 D n41_a_lob_j01__1_1_3_2->n41_a_lob_j01__1_1_3_2_1 n41_a_lob_j01__1_1_3_2_2 N n41_a_lob_j01__1_1_3_2->n41_a_lob_j01__1_1_3_2_2 n41_a_lob_j01__1_1_3_2_3 PP n41_a_lob_j01__1_1_3_2->n41_a_lob_j01__1_1_3_2_3 n41_a_lob_j01__1_1_3_2_1->n41_a_lob_j01__1_1_3_2_1_1 n41_a_lob_j01__1_1_3_2_2->n41_a_lob_j01__1_1_3_2_2_1 n41_a_lob_j01__1_1_3_2_3_1 P-ROLE n41_a_lob_j01__1_1_3_2_3->n41_a_lob_j01__1_1_3_2_3_1 n41_a_lob_j01__1_1_3_2_3_2 NP n41_a_lob_j01__1_1_3_2_3->n41_a_lob_j01__1_1_3_2_3_2 n41_a_lob_j01__1_1_3_2_3_1->n41_a_lob_j01__1_1_3_2_3_1_1 n41_a_lob_j01__1_1_3_2_3_2_1 D n41_a_lob_j01__1_1_3_2_3_2->n41_a_lob_j01__1_1_3_2_3_2_1 n41_a_lob_j01__1_1_3_2_3_2_2 N n41_a_lob_j01__1_1_3_2_3_2->n41_a_lob_j01__1_1_3_2_3_2_2 n41_a_lob_j01__1_1_3_2_3_2_3 N n41_a_lob_j01__1_1_3_2_3_2->n41_a_lob_j01__1_1_3_2_3_2_3 n41_a_lob_j01__1_1_3_2_3_2_1->n41_a_lob_j01__1_1_3_2_3_2_1_1 n41_a_lob_j01__1_1_3_2_3_2_2->n41_a_lob_j01__1_1_3_2_3_2_2_1 n41_a_lob_j01__1_1_3_2_3_2_3->n41_a_lob_j01__1_1_3_2_3_2_3_1 n41_a_lob_j01__1_2->n41_a_lob_j01__1_2_1 
( (FRAG (NP (D The;{the})
            (N use;{use})
            (PP (P-ROLE of;{of})
                (NP (D the;{the})
                    (N cell;{cell})
                    (PP (P-ROLE as;{as})
                        (NP (D a;{a})
                            (N corrosion;{corrosion})
                            (N meter;{meter}))))))
        (PUNC .))
  (ID 41_a_lob_j01))