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_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_r_0050_0011__generated is generated r_0050_0010__is_r_0050_0011__generated->r_0050_0002__the_r_0050_0004__time At [nim] r_0050_0010__is_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_0010__is_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_0010__is_r_0050_0011__generated->z_000_50_a_seiko_9r65_29 [arg0] 
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_4 At n50_a_seiko_9r65_7 the n50_a_seiko_9r65_10 same n50_a_seiko_9r65_12 time n50_a_seiko_9r65_14 , n50_a_seiko_9r65_17 an n50_a_seiko_9r65_20 electric n50_a_seiko_9r65_23 magnetic n50_a_seiko_9r65_25 field n50_a_seiko_9r65_27 is n50_a_seiko_9r65_30 * n50_a_seiko_9r65_32 generated n50_a_seiko_9r65_35 on n50_a_seiko_9r65_38 the n50_a_seiko_9r65_40 glide n50_a_seiko_9r65_42 wheel n50_a_seiko_9r65_44 . n50_a_seiko_9r65_1 IP-MAT n50_a_seiko_9r65_2 PP-NIM n50_a_seiko_9r65_1->n50_a_seiko_9r65_2 n50_a_seiko_9r65_13 PUNC n50_a_seiko_9r65_1->n50_a_seiko_9r65_13 n50_a_seiko_9r65_15 NP-SBJ n50_a_seiko_9r65_1->n50_a_seiko_9r65_15 n50_a_seiko_9r65_26 BEP;_cat_VePASS_ n50_a_seiko_9r65_1->n50_a_seiko_9r65_26 n50_a_seiko_9r65_28 IP-PPL-CAT n50_a_seiko_9r65_1->n50_a_seiko_9r65_28 n50_a_seiko_9r65_43 PUNC n50_a_seiko_9r65_1->n50_a_seiko_9r65_43 n50_a_seiko_9r65_3 P-ROLE n50_a_seiko_9r65_2->n50_a_seiko_9r65_3 n50_a_seiko_9r65_5 NP n50_a_seiko_9r65_2->n50_a_seiko_9r65_5 n50_a_seiko_9r65_3->n50_a_seiko_9r65_4 n50_a_seiko_9r65_6 D n50_a_seiko_9r65_5->n50_a_seiko_9r65_6 n50_a_seiko_9r65_8 ADJP n50_a_seiko_9r65_5->n50_a_seiko_9r65_8 n50_a_seiko_9r65_11 N n50_a_seiko_9r65_5->n50_a_seiko_9r65_11 n50_a_seiko_9r65_6->n50_a_seiko_9r65_7 n50_a_seiko_9r65_9 ADJ n50_a_seiko_9r65_8->n50_a_seiko_9r65_9 n50_a_seiko_9r65_9->n50_a_seiko_9r65_10 n50_a_seiko_9r65_11->n50_a_seiko_9r65_12 n50_a_seiko_9r65_13->n50_a_seiko_9r65_14 n50_a_seiko_9r65_16 D n50_a_seiko_9r65_15->n50_a_seiko_9r65_16 n50_a_seiko_9r65_18 ADJP n50_a_seiko_9r65_15->n50_a_seiko_9r65_18 n50_a_seiko_9r65_21 ADJP n50_a_seiko_9r65_15->n50_a_seiko_9r65_21 n50_a_seiko_9r65_24 N n50_a_seiko_9r65_15->n50_a_seiko_9r65_24 n50_a_seiko_9r65_16->n50_a_seiko_9r65_17 n50_a_seiko_9r65_19 ADJ n50_a_seiko_9r65_18->n50_a_seiko_9r65_19 n50_a_seiko_9r65_19->n50_a_seiko_9r65_20 n50_a_seiko_9r65_22 ADJ n50_a_seiko_9r65_21->n50_a_seiko_9r65_22 n50_a_seiko_9r65_22->n50_a_seiko_9r65_23 n50_a_seiko_9r65_24->n50_a_seiko_9r65_25 n50_a_seiko_9r65_26->n50_a_seiko_9r65_27 n50_a_seiko_9r65_29 NP-LGS n50_a_seiko_9r65_28->n50_a_seiko_9r65_29 n50_a_seiko_9r65_31 VVN;_Tn_ n50_a_seiko_9r65_28->n50_a_seiko_9r65_31 n50_a_seiko_9r65_33 PP-NIM n50_a_seiko_9r65_28->n50_a_seiko_9r65_33 n50_a_seiko_9r65_29->n50_a_seiko_9r65_30 n50_a_seiko_9r65_31->n50_a_seiko_9r65_32 n50_a_seiko_9r65_34 P-ROLE n50_a_seiko_9r65_33->n50_a_seiko_9r65_34 n50_a_seiko_9r65_36 NP n50_a_seiko_9r65_33->n50_a_seiko_9r65_36 n50_a_seiko_9r65_34->n50_a_seiko_9r65_35 n50_a_seiko_9r65_37 D n50_a_seiko_9r65_36->n50_a_seiko_9r65_37 n50_a_seiko_9r65_39 N n50_a_seiko_9r65_36->n50_a_seiko_9r65_39 n50_a_seiko_9r65_41 N n50_a_seiko_9r65_36->n50_a_seiko_9r65_41 n50_a_seiko_9r65_37->n50_a_seiko_9r65_38 n50_a_seiko_9r65_39->n50_a_seiko_9r65_40 n50_a_seiko_9r65_41->n50_a_seiko_9r65_42 n50_a_seiko_9r65_43->n50_a_seiko_9r65_44 
( (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))