Context                Previous, Next                Top


71_a_seiko_9r65
For the Spring Drive, wear and damage occur less than mechanical watches since the spinning speed of the rotor is adjusted by a “contact-free” electromagnetic brake.

%3 r_0071_0007__and and r_0071_0006__wear wear r_0071_0007__and->r_0071_0006__wear [conj1] r_0071_0008__damage damage r_0071_0007__and->r_0071_0008__damage [conj2] r_0071_0009__occur occur r_0071_0009__occur->r_0071_0007__and [arg0] r_0071_0002__the_r_0071_0003__Spring_r_0071_0004__Drive the Spring Drive r_0071_0009__occur->r_0071_0002__the_r_0071_0003__Spring_r_0071_0004__Drive For [nim] r_0071_0010__less less r_0071_0009__occur->r_0071_0010__less [nim] r_0071_0013__watches watches r_0071_0010__less->r_0071_0013__watches than r_0071_0012__mechanical mechanical r_0071_0013__watches->r_0071_0012__mechanical [attrib] r_0071_0014__since since r_0071_0014__since->r_0071_0009__occur [scope] r_0071_0021__is is r_0071_0014__since->r_0071_0021__is [restriction] r_0071_0022__adjusted adjusted r_0071_0021__is->r_0071_0022__adjusted [scope] r_0071_0015__the_r_0071_0017__speed the speed r_0071_0019__the_r_0071_0020__rotor the rotor r_0071_0015__the_r_0071_0017__speed->r_0071_0019__the_r_0071_0020__rotor of r_0071_0016__spinning spinning r_0071_0016__spinning->r_0071_0015__the_r_0071_0017__speed [arg0] r_0071_0022__adjusted->r_0071_0015__the_r_0071_0017__speed [arg1] r_0071_0024__a_r_0071_0029__brake a brake r_0071_0022__adjusted->r_0071_0024__a_r_0071_0029__brake [arg0] r_0071_0026__contact__hyphen__free contact-free r_0071_0024__a_r_0071_0029__brake->r_0071_0026__contact__hyphen__free [attrib] r_0071_0028__electromagnetic electromagnetic r_0071_0024__a_r_0071_0029__brake->r_0071_0028__electromagnetic [attrib] 
arc(r_0071_0007__and, r_0071_0006__wear, conj1).
arc(r_0071_0007__and, r_0071_0008__damage, conj2).
arc(r_0071_0009__occur, r_0071_0002__the_r_0071_0003__Spring_r_0071_0004__Drive, r_0071_0001__For_nim5).
arc(r_0071_0009__occur, r_0071_0007__and, arg0).
arc(r_0071_0009__occur, r_0071_0010__less, nim27).
arc(r_0071_0010__less, r_0071_0013__watches, r_0071_0011__than).
arc(r_0071_0013__watches, r_0071_0012__mechanical, attrib34).
arc(r_0071_0014__since, r_0071_0009__occur, scope).
arc(r_0071_0014__since, r_0071_0021__is, restriction).
arc(r_0071_0015__the_r_0071_0017__speed, r_0071_0019__the_r_0071_0020__rotor, r_0071_0018__of).
arc(r_0071_0016__spinning, r_0071_0015__the_r_0071_0017__speed, arg0).
arc(r_0071_0021__is, r_0071_0022__adjusted, scope).
arc(r_0071_0022__adjusted, r_0071_0015__the_r_0071_0017__speed, arg1).
arc(r_0071_0022__adjusted, r_0071_0024__a_r_0071_0029__brake, arg0).
arc(r_0071_0024__a_r_0071_0029__brake, r_0071_0026__contact__hyphen__free, attrib72).
arc(r_0071_0024__a_r_0071_0029__brake, r_0071_0028__electromagnetic, attrib77).


%3 r_0071_0007__and and r_0071_0006__wear wear r_0071_0007__and->r_0071_0006__wear [conj1] r_0071_0008__damage damage r_0071_0007__and->r_0071_0008__damage [conj2] r_0071_0009__occur occur r_0071_0009__occur->r_0071_0007__and [arg0] r_0071_0002__the_r_0071_0003__Spring_r_0071_0004__Drive the Spring Drive r_0071_0009__occur->r_0071_0002__the_r_0071_0003__Spring_r_0071_0004__Drive For [nim] r_0071_0010__less less r_0071_0009__occur->r_0071_0010__less [nim] r_0071_0013__watches watches r_0071_0010__less->r_0071_0013__watches than r_0071_0012__mechanical mechanical r_0071_0013__watches->r_0071_0012__mechanical [attrib] r_0071_0014__since since r_0071_0014__since->r_0071_0009__occur [conj2] r_0071_0021__is_r_0071_0022__adjusted is adjusted r_0071_0014__since->r_0071_0021__is_r_0071_0022__adjusted [conj1] r_0071_0015__the_r_0071_0017__speed the speed r_0071_0021__is_r_0071_0022__adjusted->r_0071_0015__the_r_0071_0017__speed [arg1] r_0071_0024__a_r_0071_0029__brake a brake r_0071_0021__is_r_0071_0022__adjusted->r_0071_0024__a_r_0071_0029__brake [arg0] r_0071_0019__the_r_0071_0020__rotor the rotor r_0071_0015__the_r_0071_0017__speed->r_0071_0019__the_r_0071_0020__rotor of r_0071_0016__spinning spinning r_0071_0016__spinning->r_0071_0015__the_r_0071_0017__speed [arg0] r_0071_0026__contact__hyphen__free contact-free r_0071_0024__a_r_0071_0029__brake->r_0071_0026__contact__hyphen__free [attrib] r_0071_0028__electromagnetic electromagnetic r_0071_0024__a_r_0071_0029__brake->r_0071_0028__electromagnetic [attrib] 
fof(formula,axiom,
    ? [R_71_14_SINCE,R_71_21_IS_ADJUSTED,R_71_24_A_BRAKE,R_71_26_CONTACT_HYPHEN_FREE,R_71_28_ELECTROMAGNETIC,R_71_9_OCCUR,R_71_7_AND,R_71_6_WEAR,R_71_8_DAMAGE,R_71_10_LESS,R_71_13_WATCHES,R_71_12_MECHANICAL,R_71_2_THE_SPRING_DRIVE,R_71_16_SPINNING,R_71_15_THE_SPEED,R_71_19_THE_ROTOR] :
      ( contact_hyphen_free(R_71_26_CONTACT_HYPHEN_FREE)
      & electromagnetic(R_71_28_ELECTROMAGNETIC)
      & wear(R_71_6_WEAR)
      & damage(R_71_8_DAMAGE)
      & mechanical(R_71_12_MECHANICAL)
      & the_Spring_Drive(R_71_2_THE_SPRING_DRIVE)
      & the_rotor(R_71_19_THE_ROTOR)
      & since(R_71_14_SINCE)
      & conj1(R_71_14_SINCE,R_71_21_IS_ADJUSTED)
      & is_adjusted(R_71_21_IS_ADJUSTED,R_71_24_A_BRAKE,R_71_15_THE_SPEED)
      & a_brake(R_71_24_A_BRAKE)
      & attrib72(R_71_24_A_BRAKE,R_71_26_CONTACT_HYPHEN_FREE)
      & attrib77(R_71_24_A_BRAKE,R_71_28_ELECTROMAGNETIC)
      & the_speed(R_71_15_THE_SPEED)
      & of(R_71_15_THE_SPEED,R_71_19_THE_ROTOR)
      & conj2(R_71_14_SINCE,R_71_9_OCCUR)
      & occur(R_71_9_OCCUR,R_71_7_AND)
      & and(R_71_7_AND)
      & conj1(R_71_7_AND,R_71_6_WEAR)
      & conj2(R_71_7_AND,R_71_8_DAMAGE)
      & nim27(R_71_9_OCCUR,R_71_10_LESS)
      & less(R_71_10_LESS)
      & than(R_71_10_LESS,R_71_13_WATCHES)
      & watches(R_71_13_WATCHES)
      & attrib34(R_71_13_WATCHES,R_71_12_MECHANICAL)
      & for_nim5(R_71_9_OCCUR,R_71_2_THE_SPRING_DRIVE)
      & spinning(R_71_16_SPINNING,R_71_15_THE_SPEED) ) ).


n71_a_seiko_9r65 n71_a_seiko_9r65_4 For n71_a_seiko_9r65_7 the n71_a_seiko_9r65_9 Spring n71_a_seiko_9r65_11 Drive n71_a_seiko_9r65_13 , n71_a_seiko_9r65_18 wear n71_a_seiko_9r65_21 and n71_a_seiko_9r65_24 damage n71_a_seiko_9r65_26 occur n71_a_seiko_9r65_29 less n71_a_seiko_9r65_32 than n71_a_seiko_9r65_36 mechanical n71_a_seiko_9r65_38 watches n71_a_seiko_9r65_41 since n71_a_seiko_9r65_45 the n71_a_seiko_9r65_48 spinning n71_a_seiko_9r65_50 speed n71_a_seiko_9r65_53 of n71_a_seiko_9r65_56 the n71_a_seiko_9r65_58 rotor n71_a_seiko_9r65_60 is n71_a_seiko_9r65_63 adjusted n71_a_seiko_9r65_66 by n71_a_seiko_9r65_69 a n71_a_seiko_9r65_71 <ldquo> n71_a_seiko_9r65_74 contact-free n71_a_seiko_9r65_76 <rdquo> n71_a_seiko_9r65_79 electromagnetic n71_a_seiko_9r65_81 brake n71_a_seiko_9r65_83 . n71_a_seiko_9r65_1 IP-MAT n71_a_seiko_9r65_2 PP-NIM n71_a_seiko_9r65_1->n71_a_seiko_9r65_2 n71_a_seiko_9r65_12 PUNC n71_a_seiko_9r65_1->n71_a_seiko_9r65_12 n71_a_seiko_9r65_14 NP-SBJ n71_a_seiko_9r65_1->n71_a_seiko_9r65_14 n71_a_seiko_9r65_25 VBP;_I_ n71_a_seiko_9r65_1->n71_a_seiko_9r65_25 n71_a_seiko_9r65_27 ADVP-NIM n71_a_seiko_9r65_1->n71_a_seiko_9r65_27 n71_a_seiko_9r65_39 PP-SCON n71_a_seiko_9r65_1->n71_a_seiko_9r65_39 n71_a_seiko_9r65_82 PUNC n71_a_seiko_9r65_1->n71_a_seiko_9r65_82 n71_a_seiko_9r65_3 P-ROLE n71_a_seiko_9r65_2->n71_a_seiko_9r65_3 n71_a_seiko_9r65_5 NP n71_a_seiko_9r65_2->n71_a_seiko_9r65_5 n71_a_seiko_9r65_3->n71_a_seiko_9r65_4 n71_a_seiko_9r65_6 D n71_a_seiko_9r65_5->n71_a_seiko_9r65_6 n71_a_seiko_9r65_8 NPR n71_a_seiko_9r65_5->n71_a_seiko_9r65_8 n71_a_seiko_9r65_10 NPR n71_a_seiko_9r65_5->n71_a_seiko_9r65_10 n71_a_seiko_9r65_6->n71_a_seiko_9r65_7 n71_a_seiko_9r65_8->n71_a_seiko_9r65_9 n71_a_seiko_9r65_10->n71_a_seiko_9r65_11 n71_a_seiko_9r65_12->n71_a_seiko_9r65_13 n71_a_seiko_9r65_15 NLYR n71_a_seiko_9r65_14->n71_a_seiko_9r65_15 n71_a_seiko_9r65_16 NLYR n71_a_seiko_9r65_15->n71_a_seiko_9r65_16 n71_a_seiko_9r65_19 CONJP n71_a_seiko_9r65_15->n71_a_seiko_9r65_19 n71_a_seiko_9r65_17 N n71_a_seiko_9r65_16->n71_a_seiko_9r65_17 n71_a_seiko_9r65_17->n71_a_seiko_9r65_18 n71_a_seiko_9r65_20 CONJ n71_a_seiko_9r65_19->n71_a_seiko_9r65_20 n71_a_seiko_9r65_22 NLYR n71_a_seiko_9r65_19->n71_a_seiko_9r65_22 n71_a_seiko_9r65_20->n71_a_seiko_9r65_21 n71_a_seiko_9r65_23 N n71_a_seiko_9r65_22->n71_a_seiko_9r65_23 n71_a_seiko_9r65_23->n71_a_seiko_9r65_24 n71_a_seiko_9r65_25->n71_a_seiko_9r65_26 n71_a_seiko_9r65_28 ADVR n71_a_seiko_9r65_27->n71_a_seiko_9r65_28 n71_a_seiko_9r65_30 PP n71_a_seiko_9r65_27->n71_a_seiko_9r65_30 n71_a_seiko_9r65_28->n71_a_seiko_9r65_29 n71_a_seiko_9r65_31 P-ROLE n71_a_seiko_9r65_30->n71_a_seiko_9r65_31 n71_a_seiko_9r65_33 NP n71_a_seiko_9r65_30->n71_a_seiko_9r65_33 n71_a_seiko_9r65_31->n71_a_seiko_9r65_32 n71_a_seiko_9r65_34 ADJP n71_a_seiko_9r65_33->n71_a_seiko_9r65_34 n71_a_seiko_9r65_37 NS n71_a_seiko_9r65_33->n71_a_seiko_9r65_37 n71_a_seiko_9r65_35 ADJ n71_a_seiko_9r65_34->n71_a_seiko_9r65_35 n71_a_seiko_9r65_35->n71_a_seiko_9r65_36 n71_a_seiko_9r65_37->n71_a_seiko_9r65_38 n71_a_seiko_9r65_40 P-CONN n71_a_seiko_9r65_39->n71_a_seiko_9r65_40 n71_a_seiko_9r65_42 IP-ADV n71_a_seiko_9r65_39->n71_a_seiko_9r65_42 n71_a_seiko_9r65_40->n71_a_seiko_9r65_41 n71_a_seiko_9r65_43 NP-SBJ n71_a_seiko_9r65_42->n71_a_seiko_9r65_43 n71_a_seiko_9r65_59 BEP;_cat_VePASS_ n71_a_seiko_9r65_42->n71_a_seiko_9r65_59 n71_a_seiko_9r65_61 IP-PPL-CAT n71_a_seiko_9r65_42->n71_a_seiko_9r65_61 n71_a_seiko_9r65_44 D n71_a_seiko_9r65_43->n71_a_seiko_9r65_44 n71_a_seiko_9r65_46 IP-PPL n71_a_seiko_9r65_43->n71_a_seiko_9r65_46 n71_a_seiko_9r65_49 N n71_a_seiko_9r65_43->n71_a_seiko_9r65_49 n71_a_seiko_9r65_51 PP n71_a_seiko_9r65_43->n71_a_seiko_9r65_51 n71_a_seiko_9r65_44->n71_a_seiko_9r65_45 n71_a_seiko_9r65_47 VAG;_I_ n71_a_seiko_9r65_46->n71_a_seiko_9r65_47 n71_a_seiko_9r65_47->n71_a_seiko_9r65_48 n71_a_seiko_9r65_49->n71_a_seiko_9r65_50 n71_a_seiko_9r65_52 P-ROLE n71_a_seiko_9r65_51->n71_a_seiko_9r65_52 n71_a_seiko_9r65_54 NP n71_a_seiko_9r65_51->n71_a_seiko_9r65_54 n71_a_seiko_9r65_52->n71_a_seiko_9r65_53 n71_a_seiko_9r65_55 D n71_a_seiko_9r65_54->n71_a_seiko_9r65_55 n71_a_seiko_9r65_57 N n71_a_seiko_9r65_54->n71_a_seiko_9r65_57 n71_a_seiko_9r65_55->n71_a_seiko_9r65_56 n71_a_seiko_9r65_57->n71_a_seiko_9r65_58 n71_a_seiko_9r65_59->n71_a_seiko_9r65_60 n71_a_seiko_9r65_62 VVN;_Tn_ n71_a_seiko_9r65_61->n71_a_seiko_9r65_62 n71_a_seiko_9r65_64 PP-LGS n71_a_seiko_9r65_61->n71_a_seiko_9r65_64 n71_a_seiko_9r65_62->n71_a_seiko_9r65_63 n71_a_seiko_9r65_65 P-ROLE;_lgs_ n71_a_seiko_9r65_64->n71_a_seiko_9r65_65 n71_a_seiko_9r65_67 NP n71_a_seiko_9r65_64->n71_a_seiko_9r65_67 n71_a_seiko_9r65_65->n71_a_seiko_9r65_66 n71_a_seiko_9r65_68 D n71_a_seiko_9r65_67->n71_a_seiko_9r65_68 n71_a_seiko_9r65_70 PULQ n71_a_seiko_9r65_67->n71_a_seiko_9r65_70 n71_a_seiko_9r65_72 ADJP n71_a_seiko_9r65_67->n71_a_seiko_9r65_72 n71_a_seiko_9r65_75 PURQ n71_a_seiko_9r65_67->n71_a_seiko_9r65_75 n71_a_seiko_9r65_77 ADJP n71_a_seiko_9r65_67->n71_a_seiko_9r65_77 n71_a_seiko_9r65_80 N n71_a_seiko_9r65_67->n71_a_seiko_9r65_80 n71_a_seiko_9r65_68->n71_a_seiko_9r65_69 n71_a_seiko_9r65_70->n71_a_seiko_9r65_71 n71_a_seiko_9r65_73 ADJ n71_a_seiko_9r65_72->n71_a_seiko_9r65_73 n71_a_seiko_9r65_73->n71_a_seiko_9r65_74 n71_a_seiko_9r65_75->n71_a_seiko_9r65_76 n71_a_seiko_9r65_78 ADJ n71_a_seiko_9r65_77->n71_a_seiko_9r65_78 n71_a_seiko_9r65_78->n71_a_seiko_9r65_79 n71_a_seiko_9r65_80->n71_a_seiko_9r65_81 n71_a_seiko_9r65_82->n71_a_seiko_9r65_83 
( (IP-MAT (PP-NIM (P-ROLE For;{for})
                  (NP;{SPRING_DRIVE} (D the;{the})
                                     (NPR Spring;{Spring})
                                     (NPR Drive;{Drive})))
          (PUNC ,)
          (NP-SBJ (NLYR (NLYR (N wear;{wear}))
                        (CONJP (CONJ and;{and})
                               (NLYR (N damage;{damage})))))
          (VBP;_I_ occur;{occur})
          (ADVP-NIM (ADVR less;{less})
                    (PP (P-ROLE than;{than})
                        (NP (ADJP (ADJ mechanical;{mechanical}))
                            (NS watches;{watch}))))
          (PP-SCON (P-CONN since;{since})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (IP-PPL (VAG;_I_ spinning;{spin}))
                                   (N speed;{speed})
                                   (PP (P-ROLE of;{of})
                                       (NP (D the;{the})
                                           (N rotor;{rotor}))))
                           (BEP;_cat_VePASS_ is;{be})
                           (IP-PPL-CAT (VVN;_Tn_ adjusted;{adjust})
                                       (PP-LGS (P-ROLE;_lgs_ by;{by})
                                               (NP (D a;{a})
                                                   (PULQ <ldquo>)
                                                   (ADJP (ADJ contact_<hyphen>_free;{contact_free}))
                                                   (PURQ <rdquo>)
                                                   (ADJP (ADJ electromagnetic;{electromagnetic}))
                                                   (N brake;{brake}))))))
          (PUNC .))
  (ID 71_a_seiko_9r65))