Context                Previous, Next                Top


50_a_seiko_9r65
At the same time, an electric magnetic field is generated on the glide wheel.

%3 r_0050_0002__the_r_0050_0004__time the time r_0050_0003__same same r_0050_0002__the_r_0050_0004__time->r_0050_0003__same [attrib] r_0050_0006__an_r_0050_0009__field an field r_0050_0007__electric electric r_0050_0006__an_r_0050_0009__field->r_0050_0007__electric [attrib] r_0050_0008__magnetic magnetic r_0050_0006__an_r_0050_0009__field->r_0050_0008__magnetic [attrib] r_0050_0010__is is r_0050_0010__is->r_0050_0002__the_r_0050_0004__time At [nim] r_0050_0011__generated generated r_0050_0010__is->r_0050_0011__generated [scope] r_0050_0011__generated->r_0050_0006__an_r_0050_0009__field [arg1] r_0050_0013__the_r_0050_0014__glide_r_0050_0015__wheel the glide wheel r_0050_0011__generated->r_0050_0013__the_r_0050_0014__glide_r_0050_0015__wheel on [nim] z_000_50_a_seiko_9r65_29 r_0050_0011__generated->z_000_50_a_seiko_9r65_29 [arg0] 
arc(r_0050_0002__the_r_0050_0004__time, r_0050_0003__same, attrib8).
arc(r_0050_0006__an_r_0050_0009__field, r_0050_0007__electric, attrib18).
arc(r_0050_0006__an_r_0050_0009__field, r_0050_0008__magnetic, attrib21).
arc(r_0050_0010__is, r_0050_0002__the_r_0050_0004__time, r_0050_0001__At_nim5).
arc(r_0050_0010__is, r_0050_0011__generated, scope).
arc(r_0050_0011__generated, r_0050_0006__an_r_0050_0009__field, arg1).
arc(r_0050_0011__generated, r_0050_0013__the_r_0050_0014__glide_r_0050_0015__wheel, r_0050_0012__on_nim36).
arc(r_0050_0011__generated, z_000_50_a_seiko_9r65_29, arg0).


%3 r_0050_0010__is_r_0050_0011__generated is generated z_000_50_a_seiko_9r65_29 r_0050_0010__is_r_0050_0011__generated->z_000_50_a_seiko_9r65_29 [arg0] r_0050_0013__the_r_0050_0014__glide_r_0050_0015__wheel the glide wheel r_0050_0010__is_r_0050_0011__generated->r_0050_0013__the_r_0050_0014__glide_r_0050_0015__wheel on [nim] r_0050_0006__an_r_0050_0009__field an field r_0050_0010__is_r_0050_0011__generated->r_0050_0006__an_r_0050_0009__field [arg1] r_0050_0002__the_r_0050_0004__time the time r_0050_0010__is_r_0050_0011__generated->r_0050_0002__the_r_0050_0004__time At [nim] r_0050_0008__magnetic magnetic r_0050_0006__an_r_0050_0009__field->r_0050_0008__magnetic [attrib] r_0050_0007__electric electric r_0050_0006__an_r_0050_0009__field->r_0050_0007__electric [attrib] r_0050_0003__same same r_0050_0002__the_r_0050_0004__time->r_0050_0003__same [attrib] 
fof(formula,axiom,
    ? [R_50_10_IS_GENERATED,Z_50_A_SEIKO_9R65_29,R_50_6_AN_FIELD,R_50_7_ELECTRIC,R_50_8_MAGNETIC,R_50_2_THE_TIME,R_50_3_SAME,R_50_13_THE_GLIDE_WHEEL] :
      ( electric(R_50_7_ELECTRIC)
      & magnetic(R_50_8_MAGNETIC)
      & same(R_50_3_SAME)
      & the_glide_wheel(R_50_13_THE_GLIDE_WHEEL)
      & is_generated(R_50_10_IS_GENERATED,Z_50_A_SEIKO_9R65_29,R_50_6_AN_FIELD)
      & an_field(R_50_6_AN_FIELD)
      & attrib18(R_50_6_AN_FIELD,R_50_7_ELECTRIC)
      & attrib21(R_50_6_AN_FIELD,R_50_8_MAGNETIC)
      & at_nim5(R_50_10_IS_GENERATED,R_50_2_THE_TIME)
      & the_time(R_50_2_THE_TIME)
      & attrib8(R_50_2_THE_TIME,R_50_3_SAME)
      & on_nim36(R_50_10_IS_GENERATED,R_50_13_THE_GLIDE_WHEEL) ) ).


n50_a_seiko_9r65 n50_a_seiko_9r65__1_1_1_1 At n50_a_seiko_9r65__1_1_2_1_1 the n50_a_seiko_9r65__1_1_2_2_1_1 same n50_a_seiko_9r65__1_1_2_3_1 time n50_a_seiko_9r65__1_2_1 , n50_a_seiko_9r65__1_3_1_1 an n50_a_seiko_9r65__1_3_2_1_1 electric n50_a_seiko_9r65__1_3_3_1_1 magnetic n50_a_seiko_9r65__1_3_4_1 field n50_a_seiko_9r65__1_4_1 is n50_a_seiko_9r65__1_5_1_1 * n50_a_seiko_9r65__1_5_2_1 generated n50_a_seiko_9r65__1_5_3_1_1 on n50_a_seiko_9r65__1_5_3_2_1_1 the n50_a_seiko_9r65__1_5_3_2_2_1 glide n50_a_seiko_9r65__1_5_3_2_3_1 wheel n50_a_seiko_9r65__1_6_1 . n50_a_seiko_9r65__1 IP-MAT n50_a_seiko_9r65__1_1 PP-NIM n50_a_seiko_9r65__1->n50_a_seiko_9r65__1_1 n50_a_seiko_9r65__1_2 PUNC n50_a_seiko_9r65__1->n50_a_seiko_9r65__1_2 n50_a_seiko_9r65__1_3 NP-SBJ n50_a_seiko_9r65__1->n50_a_seiko_9r65__1_3 n50_a_seiko_9r65__1_4 BEP;_cat_VePASS_ n50_a_seiko_9r65__1->n50_a_seiko_9r65__1_4 n50_a_seiko_9r65__1_5 IP-PPL-CAT n50_a_seiko_9r65__1->n50_a_seiko_9r65__1_5 n50_a_seiko_9r65__1_6 PUNC n50_a_seiko_9r65__1->n50_a_seiko_9r65__1_6 n50_a_seiko_9r65__1_1_1 P-ROLE n50_a_seiko_9r65__1_1->n50_a_seiko_9r65__1_1_1 n50_a_seiko_9r65__1_1_2 NP n50_a_seiko_9r65__1_1->n50_a_seiko_9r65__1_1_2 n50_a_seiko_9r65__1_1_1->n50_a_seiko_9r65__1_1_1_1 n50_a_seiko_9r65__1_1_2_1 D n50_a_seiko_9r65__1_1_2->n50_a_seiko_9r65__1_1_2_1 n50_a_seiko_9r65__1_1_2_2 ADJP n50_a_seiko_9r65__1_1_2->n50_a_seiko_9r65__1_1_2_2 n50_a_seiko_9r65__1_1_2_3 N n50_a_seiko_9r65__1_1_2->n50_a_seiko_9r65__1_1_2_3 n50_a_seiko_9r65__1_1_2_1->n50_a_seiko_9r65__1_1_2_1_1 n50_a_seiko_9r65__1_1_2_2_1 ADJ n50_a_seiko_9r65__1_1_2_2->n50_a_seiko_9r65__1_1_2_2_1 n50_a_seiko_9r65__1_1_2_2_1->n50_a_seiko_9r65__1_1_2_2_1_1 n50_a_seiko_9r65__1_1_2_3->n50_a_seiko_9r65__1_1_2_3_1 n50_a_seiko_9r65__1_2->n50_a_seiko_9r65__1_2_1 n50_a_seiko_9r65__1_3_1 D n50_a_seiko_9r65__1_3->n50_a_seiko_9r65__1_3_1 n50_a_seiko_9r65__1_3_2 ADJP n50_a_seiko_9r65__1_3->n50_a_seiko_9r65__1_3_2 n50_a_seiko_9r65__1_3_3 ADJP n50_a_seiko_9r65__1_3->n50_a_seiko_9r65__1_3_3 n50_a_seiko_9r65__1_3_4 N n50_a_seiko_9r65__1_3->n50_a_seiko_9r65__1_3_4 n50_a_seiko_9r65__1_3_1->n50_a_seiko_9r65__1_3_1_1 n50_a_seiko_9r65__1_3_2_1 ADJ n50_a_seiko_9r65__1_3_2->n50_a_seiko_9r65__1_3_2_1 n50_a_seiko_9r65__1_3_2_1->n50_a_seiko_9r65__1_3_2_1_1 n50_a_seiko_9r65__1_3_3_1 ADJ n50_a_seiko_9r65__1_3_3->n50_a_seiko_9r65__1_3_3_1 n50_a_seiko_9r65__1_3_3_1->n50_a_seiko_9r65__1_3_3_1_1 n50_a_seiko_9r65__1_3_4->n50_a_seiko_9r65__1_3_4_1 n50_a_seiko_9r65__1_4->n50_a_seiko_9r65__1_4_1 n50_a_seiko_9r65__1_5_1 NP-LGS n50_a_seiko_9r65__1_5->n50_a_seiko_9r65__1_5_1 n50_a_seiko_9r65__1_5_2 VVN;_Tn_ n50_a_seiko_9r65__1_5->n50_a_seiko_9r65__1_5_2 n50_a_seiko_9r65__1_5_3 PP-NIM n50_a_seiko_9r65__1_5->n50_a_seiko_9r65__1_5_3 n50_a_seiko_9r65__1_5_1->n50_a_seiko_9r65__1_5_1_1 n50_a_seiko_9r65__1_5_2->n50_a_seiko_9r65__1_5_2_1 n50_a_seiko_9r65__1_5_3_1 P-ROLE n50_a_seiko_9r65__1_5_3->n50_a_seiko_9r65__1_5_3_1 n50_a_seiko_9r65__1_5_3_2 NP n50_a_seiko_9r65__1_5_3->n50_a_seiko_9r65__1_5_3_2 n50_a_seiko_9r65__1_5_3_1->n50_a_seiko_9r65__1_5_3_1_1 n50_a_seiko_9r65__1_5_3_2_1 D n50_a_seiko_9r65__1_5_3_2->n50_a_seiko_9r65__1_5_3_2_1 n50_a_seiko_9r65__1_5_3_2_2 N n50_a_seiko_9r65__1_5_3_2->n50_a_seiko_9r65__1_5_3_2_2 n50_a_seiko_9r65__1_5_3_2_3 N n50_a_seiko_9r65__1_5_3_2->n50_a_seiko_9r65__1_5_3_2_3 n50_a_seiko_9r65__1_5_3_2_1->n50_a_seiko_9r65__1_5_3_2_1_1 n50_a_seiko_9r65__1_5_3_2_2->n50_a_seiko_9r65__1_5_3_2_2_1 n50_a_seiko_9r65__1_5_3_2_3->n50_a_seiko_9r65__1_5_3_2_3_1 n50_a_seiko_9r65__1_6->n50_a_seiko_9r65__1_6_1 
( (IP-MAT (PP-NIM (P-ROLE At;{at})
                  (NP (D the;{the})
                      (ADJP (ADJ same;{same}))
                      (N time;{time})))
          (PUNC ,)
          (NP-SBJ (D an;{an})
                  (ADJP (ADJ electric;{electric}))
                  (ADJP (ADJ magnetic;{magnetic}))
                  (N field;{field}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ generated;{generate})
                      (PP-NIM (P-ROLE on;{on})
                              (NP;{GLIDE_WHEEL} (D the;{the})
                                                (N glide;{glide})
                                                (N wheel;{wheel}))))
          (PUNC .))
  (ID 50_a_seiko_9r65))