Context                Previous, Next                Top


24_a_seiko_9r65
The Spring Drive is a self-contained drive system that realizes accuracy equivalent to a quartz watch with only the power of the mainspring and has no battery, motor, or secondary battery.

%3 r_0024_0004__is is r_0024_0001__The_r_0024_0002__Spring_r_0024_0003__Drive The Spring Drive r_0024_0004__is->r_0024_0001__The_r_0024_0002__Spring_r_0024_0003__Drive [arg0] r_0024_0005__a_r_0024_0007__drive_r_0024_0008__system a drive system r_0024_0004__is->r_0024_0005__a_r_0024_0007__drive_r_0024_0008__system [prd] r_0024_0006__self__hyphen__contained self-contained r_0024_0005__a_r_0024_0007__drive_r_0024_0008__system->r_0024_0006__self__hyphen__contained [attrib] r_0024_0010__realizes realizes r_0024_0010__realizes->r_0024_0005__a_r_0024_0007__drive_r_0024_0008__system [arg0] r_0024_0011__accuracy accuracy r_0024_0010__realizes->r_0024_0011__accuracy [arg1] r_0024_0019__the_r_0024_0020__power the power r_0024_0010__realizes->r_0024_0019__the_r_0024_0020__power with [nim] r_0024_0012__equivalent equivalent r_0024_0011__accuracy->r_0024_0012__equivalent [attrib] r_0024_0018__only only r_0024_0019__the_r_0024_0020__power->r_0024_0018__only [qual] r_0024_0022__the_r_0024_0023__mainspring the mainspring r_0024_0019__the_r_0024_0020__power->r_0024_0022__the_r_0024_0023__mainspring of r_0024_0014__a_r_0024_0015__quartz_r_0024_0016__watch a quartz watch r_0024_0012__equivalent->r_0024_0014__a_r_0024_0015__quartz_r_0024_0016__watch to r_0024_0024__and and r_0024_0024__and->r_0024_0010__realizes [conj1] r_0024_0026__no_quant no [quant] r_0024_0024__and->r_0024_0026__no_quant [conj2] r_0024_0025__has has r_0024_0026__no_quant->r_0024_0025__has [scope] r_0024_0031__or or r_0024_0026__no_quant->r_0024_0031__or [restriction] r_0024_0025__has->r_0024_0005__a_r_0024_0007__drive_r_0024_0008__system [arg0] r_0024_0025__has->r_0024_0031__or [arg1] r_0024_0027__battery battery r_0024_0031__or->r_0024_0027__battery [conj1] r_0024_0029__motor motor r_0024_0031__or->r_0024_0029__motor [conj2] r_0024_0033__battery battery r_0024_0031__or->r_0024_0033__battery [conj3] r_0024_0032__secondary secondary r_0024_0033__battery->r_0024_0032__secondary [attrib] 
arc(r_0024_0004__is, r_0024_0001__The_r_0024_0002__Spring_r_0024_0003__Drive, arg0).
arc(r_0024_0004__is, r_0024_0005__a_r_0024_0007__drive_r_0024_0008__system, prd).
arc(r_0024_0005__a_r_0024_0007__drive_r_0024_0008__system, r_0024_0006__self__hyphen__contained, attrib14).
arc(r_0024_0010__realizes, r_0024_0005__a_r_0024_0007__drive_r_0024_0008__system, arg0).
arc(r_0024_0010__realizes, r_0024_0011__accuracy, arg1).
arc(r_0024_0010__realizes, r_0024_0019__the_r_0024_0020__power, r_0024_0017__with_nim49).
arc(r_0024_0011__accuracy, r_0024_0012__equivalent, attrib33).
arc(r_0024_0012__equivalent, r_0024_0014__a_r_0024_0015__quartz_r_0024_0016__watch, r_0024_0013__to).
arc(r_0024_0019__the_r_0024_0020__power, r_0024_0018__only, qual50).
arc(r_0024_0019__the_r_0024_0020__power, r_0024_0022__the_r_0024_0023__mainspring, r_0024_0021__of).
arc(r_0024_0024__and, r_0024_0010__realizes, conj1).
arc(r_0024_0024__and, r_0024_0026__no_quant, conj2).
arc(r_0024_0025__has, r_0024_0005__a_r_0024_0007__drive_r_0024_0008__system, arg0).
arc(r_0024_0025__has, r_0024_0031__or, arg1).
arc(r_0024_0026__no_quant, r_0024_0025__has, scope).
arc(r_0024_0026__no_quant, r_0024_0031__or, restriction).
arc(r_0024_0031__or, r_0024_0027__battery, conj1).
arc(r_0024_0031__or, r_0024_0029__motor, conj2).
arc(r_0024_0031__or, r_0024_0033__battery, conj3).
arc(r_0024_0033__battery, r_0024_0032__secondary, attrib90).


%3 r_0024_0004__is is r_0024_0001__The_r_0024_0002__Spring_r_0024_0003__Drive The Spring Drive r_0024_0004__is->r_0024_0001__The_r_0024_0002__Spring_r_0024_0003__Drive [arg0] r_0024_0005__a_r_0024_0007__drive_r_0024_0008__system a drive system r_0024_0004__is->r_0024_0005__a_r_0024_0007__drive_r_0024_0008__system [prd] r_0024_0006__self__hyphen__contained self-contained r_0024_0005__a_r_0024_0007__drive_r_0024_0008__system->r_0024_0006__self__hyphen__contained [attrib] r_0024_0010__realizes realizes r_0024_0010__realizes->r_0024_0005__a_r_0024_0007__drive_r_0024_0008__system [arg0] r_0024_0011__accuracy accuracy r_0024_0010__realizes->r_0024_0011__accuracy [arg1] r_0024_0019__the_r_0024_0020__power the power r_0024_0010__realizes->r_0024_0019__the_r_0024_0020__power with [nim] r_0024_0012__equivalent equivalent r_0024_0011__accuracy->r_0024_0012__equivalent [attrib] r_0024_0018__only only r_0024_0019__the_r_0024_0020__power->r_0024_0018__only [qual] r_0024_0022__the_r_0024_0023__mainspring the mainspring r_0024_0019__the_r_0024_0020__power->r_0024_0022__the_r_0024_0023__mainspring of r_0024_0014__a_r_0024_0015__quartz_r_0024_0016__watch a quartz watch r_0024_0012__equivalent->r_0024_0014__a_r_0024_0015__quartz_r_0024_0016__watch to r_0024_0024__and and r_0024_0024__and->r_0024_0010__realizes [conj1] r_0024_0026__no_quant no [quant] r_0024_0024__and->r_0024_0026__no_quant [conj2] r_0024_0025__has has r_0024_0026__no_quant->r_0024_0025__has [scope] r_0024_0031__or or r_0024_0026__no_quant->r_0024_0031__or [restriction] r_0024_0025__has->r_0024_0005__a_r_0024_0007__drive_r_0024_0008__system [arg0] r_0024_0025__has->r_0024_0031__or [arg1] r_0024_0027__battery battery r_0024_0031__or->r_0024_0027__battery [conj1] r_0024_0029__motor motor r_0024_0031__or->r_0024_0029__motor [conj2] r_0024_0033__battery battery r_0024_0031__or->r_0024_0033__battery [conj3] r_0024_0032__secondary secondary r_0024_0033__battery->r_0024_0032__secondary [attrib] 
fof(formula,axiom,
    ? [R_24_4_IS,R_24_1_THE_SPRING_DRIVE,R_24_24_AND,R_24_10_REALIZES,R_24_5_A_DRIVE_SYSTEM,R_24_6_SELF_HYPHEN_CONTAINED,R_24_11_ACCURACY,R_24_12_EQUIVALENT,R_24_14_A_QUARTZ_WATCH,R_24_19_THE_POWER,R_24_18_ONLY,R_24_22_THE_MAINSPRING] :
      ( the_Spring_Drive(R_24_1_THE_SPRING_DRIVE)
      & self_hyphen_contained(R_24_6_SELF_HYPHEN_CONTAINED)
      & a_quartz_watch(R_24_14_A_QUARTZ_WATCH)
      & only(R_24_18_ONLY)
      & the_mainspring(R_24_22_THE_MAINSPRING)
      & is(R_24_4_IS,R_24_1_THE_SPRING_DRIVE,R_24_5_A_DRIVE_SYSTEM)
      & a_drive_system(R_24_5_A_DRIVE_SYSTEM)
      & attrib14(R_24_5_A_DRIVE_SYSTEM,R_24_6_SELF_HYPHEN_CONTAINED)
      & ! [R_24_31_OR,R_24_27_BATTERY,R_24_29_MOTOR,R_24_33_BATTERY,R_24_32_SECONDARY] :
          ( ( battery(R_24_27_BATTERY)
            & motor(R_24_29_MOTOR)
            & secondary(R_24_32_SECONDARY)
            & or(R_24_31_OR)
            & conj1(R_24_31_OR,R_24_27_BATTERY)
            & conj2(R_24_31_OR,R_24_29_MOTOR)
            & conj3(R_24_31_OR,R_24_33_BATTERY)
            & battery(R_24_33_BATTERY)
            & attrib90(R_24_33_BATTERY,R_24_32_SECONDARY) )
         => ? [R_24_25_HAS] : has(R_24_25_HAS,R_24_5_A_DRIVE_SYSTEM,R_24_31_OR) )
      & conj2(CONJ2)
      & and(R_24_24_AND)
      & conj1(R_24_24_AND,R_24_10_REALIZES)
      & realizes(R_24_10_REALIZES,R_24_5_A_DRIVE_SYSTEM,R_24_11_ACCURACY)
      & accuracy(R_24_11_ACCURACY)
      & attrib33(R_24_11_ACCURACY,R_24_12_EQUIVALENT)
      & equivalent(R_24_12_EQUIVALENT)
      & to(R_24_12_EQUIVALENT,R_24_14_A_QUARTZ_WATCH)
      & with_nim49(R_24_10_REALIZES,R_24_19_THE_POWER)
      & the_power(R_24_19_THE_POWER)
      & qual50(R_24_19_THE_POWER,R_24_18_ONLY)
      & of(R_24_19_THE_POWER,R_24_22_THE_MAINSPRING) ) ).


n24_a_seiko_9r65 n24_a_seiko_9r65_4 The n24_a_seiko_9r65_6 Spring n24_a_seiko_9r65_8 Drive n24_a_seiko_9r65_10 is n24_a_seiko_9r65_13 a n24_a_seiko_9r65_16 self-contained n24_a_seiko_9r65_18 drive n24_a_seiko_9r65_20 system n24_a_seiko_9r65_23 that n24_a_seiko_9r65_25 *T* n24_a_seiko_9r65_29 realizes n24_a_seiko_9r65_32 accuracy n24_a_seiko_9r65_35 equivalent n24_a_seiko_9r65_38 to n24_a_seiko_9r65_41 a n24_a_seiko_9r65_43 quartz n24_a_seiko_9r65_45 watch n24_a_seiko_9r65_48 with n24_a_seiko_9r65_52 only n24_a_seiko_9r65_54 the n24_a_seiko_9r65_56 power n24_a_seiko_9r65_59 of n24_a_seiko_9r65_62 the n24_a_seiko_9r65_64 mainspring n24_a_seiko_9r65_67 and n24_a_seiko_9r65_70 has n24_a_seiko_9r65_73 no n24_a_seiko_9r65_77 battery n24_a_seiko_9r65_79 , n24_a_seiko_9r65_83 motor n24_a_seiko_9r65_85 , n24_a_seiko_9r65_88 or n24_a_seiko_9r65_92 secondary n24_a_seiko_9r65_94 battery n24_a_seiko_9r65_96 . n24_a_seiko_9r65_1 IP-MAT n24_a_seiko_9r65_2 NP-SBJ n24_a_seiko_9r65_1->n24_a_seiko_9r65_2 n24_a_seiko_9r65_9 BEP;_Ln_ n24_a_seiko_9r65_1->n24_a_seiko_9r65_9 n24_a_seiko_9r65_11 NP-PRD n24_a_seiko_9r65_1->n24_a_seiko_9r65_11 n24_a_seiko_9r65_95 PUNC n24_a_seiko_9r65_1->n24_a_seiko_9r65_95 n24_a_seiko_9r65_3 D n24_a_seiko_9r65_2->n24_a_seiko_9r65_3 n24_a_seiko_9r65_5 NPR n24_a_seiko_9r65_2->n24_a_seiko_9r65_5 n24_a_seiko_9r65_7 NPR n24_a_seiko_9r65_2->n24_a_seiko_9r65_7 n24_a_seiko_9r65_3->n24_a_seiko_9r65_4 n24_a_seiko_9r65_5->n24_a_seiko_9r65_6 n24_a_seiko_9r65_7->n24_a_seiko_9r65_8 n24_a_seiko_9r65_9->n24_a_seiko_9r65_10 n24_a_seiko_9r65_12 D n24_a_seiko_9r65_11->n24_a_seiko_9r65_12 n24_a_seiko_9r65_14 ADJP n24_a_seiko_9r65_11->n24_a_seiko_9r65_14 n24_a_seiko_9r65_17 N n24_a_seiko_9r65_11->n24_a_seiko_9r65_17 n24_a_seiko_9r65_19 N n24_a_seiko_9r65_11->n24_a_seiko_9r65_19 n24_a_seiko_9r65_21 IP-REL n24_a_seiko_9r65_11->n24_a_seiko_9r65_21 n24_a_seiko_9r65_12->n24_a_seiko_9r65_13 n24_a_seiko_9r65_15 ADJ n24_a_seiko_9r65_14->n24_a_seiko_9r65_15 n24_a_seiko_9r65_15->n24_a_seiko_9r65_16 n24_a_seiko_9r65_17->n24_a_seiko_9r65_18 n24_a_seiko_9r65_19->n24_a_seiko_9r65_20 n24_a_seiko_9r65_22 C n24_a_seiko_9r65_21->n24_a_seiko_9r65_22 n24_a_seiko_9r65_24 NP-SBJ n24_a_seiko_9r65_21->n24_a_seiko_9r65_24 n24_a_seiko_9r65_26 ILYR n24_a_seiko_9r65_21->n24_a_seiko_9r65_26 n24_a_seiko_9r65_22->n24_a_seiko_9r65_23 n24_a_seiko_9r65_24->n24_a_seiko_9r65_25 n24_a_seiko_9r65_27 ILYR n24_a_seiko_9r65_26->n24_a_seiko_9r65_27 n24_a_seiko_9r65_65 CONJP n24_a_seiko_9r65_26->n24_a_seiko_9r65_65 n24_a_seiko_9r65_28 VBP;_Tn_ n24_a_seiko_9r65_27->n24_a_seiko_9r65_28 n24_a_seiko_9r65_30 NP-OB1 n24_a_seiko_9r65_27->n24_a_seiko_9r65_30 n24_a_seiko_9r65_46 PP-NIM n24_a_seiko_9r65_27->n24_a_seiko_9r65_46 n24_a_seiko_9r65_28->n24_a_seiko_9r65_29 n24_a_seiko_9r65_31 N n24_a_seiko_9r65_30->n24_a_seiko_9r65_31 n24_a_seiko_9r65_33 ADJP n24_a_seiko_9r65_30->n24_a_seiko_9r65_33 n24_a_seiko_9r65_31->n24_a_seiko_9r65_32 n24_a_seiko_9r65_34 ADJ n24_a_seiko_9r65_33->n24_a_seiko_9r65_34 n24_a_seiko_9r65_36 PP n24_a_seiko_9r65_33->n24_a_seiko_9r65_36 n24_a_seiko_9r65_34->n24_a_seiko_9r65_35 n24_a_seiko_9r65_37 P-ROLE n24_a_seiko_9r65_36->n24_a_seiko_9r65_37 n24_a_seiko_9r65_39 NP n24_a_seiko_9r65_36->n24_a_seiko_9r65_39 n24_a_seiko_9r65_37->n24_a_seiko_9r65_38 n24_a_seiko_9r65_40 D n24_a_seiko_9r65_39->n24_a_seiko_9r65_40 n24_a_seiko_9r65_42 N n24_a_seiko_9r65_39->n24_a_seiko_9r65_42 n24_a_seiko_9r65_44 N n24_a_seiko_9r65_39->n24_a_seiko_9r65_44 n24_a_seiko_9r65_40->n24_a_seiko_9r65_41 n24_a_seiko_9r65_42->n24_a_seiko_9r65_43 n24_a_seiko_9r65_44->n24_a_seiko_9r65_45 n24_a_seiko_9r65_47 P-ROLE n24_a_seiko_9r65_46->n24_a_seiko_9r65_47 n24_a_seiko_9r65_49 NP n24_a_seiko_9r65_46->n24_a_seiko_9r65_49 n24_a_seiko_9r65_47->n24_a_seiko_9r65_48 n24_a_seiko_9r65_50 ADVP n24_a_seiko_9r65_49->n24_a_seiko_9r65_50 n24_a_seiko_9r65_53 D n24_a_seiko_9r65_49->n24_a_seiko_9r65_53 n24_a_seiko_9r65_55 N n24_a_seiko_9r65_49->n24_a_seiko_9r65_55 n24_a_seiko_9r65_57 PP n24_a_seiko_9r65_49->n24_a_seiko_9r65_57 n24_a_seiko_9r65_51 ADV n24_a_seiko_9r65_50->n24_a_seiko_9r65_51 n24_a_seiko_9r65_51->n24_a_seiko_9r65_52 n24_a_seiko_9r65_53->n24_a_seiko_9r65_54 n24_a_seiko_9r65_55->n24_a_seiko_9r65_56 n24_a_seiko_9r65_58 P-ROLE n24_a_seiko_9r65_57->n24_a_seiko_9r65_58 n24_a_seiko_9r65_60 NP n24_a_seiko_9r65_57->n24_a_seiko_9r65_60 n24_a_seiko_9r65_58->n24_a_seiko_9r65_59 n24_a_seiko_9r65_61 D n24_a_seiko_9r65_60->n24_a_seiko_9r65_61 n24_a_seiko_9r65_63 N n24_a_seiko_9r65_60->n24_a_seiko_9r65_63 n24_a_seiko_9r65_61->n24_a_seiko_9r65_62 n24_a_seiko_9r65_63->n24_a_seiko_9r65_64 n24_a_seiko_9r65_66 CONJ n24_a_seiko_9r65_65->n24_a_seiko_9r65_66 n24_a_seiko_9r65_68 ILYR n24_a_seiko_9r65_65->n24_a_seiko_9r65_68 n24_a_seiko_9r65_66->n24_a_seiko_9r65_67 n24_a_seiko_9r65_69 HVP;_Tn_ n24_a_seiko_9r65_68->n24_a_seiko_9r65_69 n24_a_seiko_9r65_71 NP-OB1 n24_a_seiko_9r65_68->n24_a_seiko_9r65_71 n24_a_seiko_9r65_69->n24_a_seiko_9r65_70 n24_a_seiko_9r65_72 Q n24_a_seiko_9r65_71->n24_a_seiko_9r65_72 n24_a_seiko_9r65_74 NLYR n24_a_seiko_9r65_71->n24_a_seiko_9r65_74 n24_a_seiko_9r65_72->n24_a_seiko_9r65_73 n24_a_seiko_9r65_75 NLYR n24_a_seiko_9r65_74->n24_a_seiko_9r65_75 n24_a_seiko_9r65_78 PUNC n24_a_seiko_9r65_74->n24_a_seiko_9r65_78 n24_a_seiko_9r65_80 CONJP n24_a_seiko_9r65_74->n24_a_seiko_9r65_80 n24_a_seiko_9r65_84 PUNC n24_a_seiko_9r65_74->n24_a_seiko_9r65_84 n24_a_seiko_9r65_86 CONJP n24_a_seiko_9r65_74->n24_a_seiko_9r65_86 n24_a_seiko_9r65_76 N n24_a_seiko_9r65_75->n24_a_seiko_9r65_76 n24_a_seiko_9r65_76->n24_a_seiko_9r65_77 n24_a_seiko_9r65_78->n24_a_seiko_9r65_79 n24_a_seiko_9r65_81 NLYR n24_a_seiko_9r65_80->n24_a_seiko_9r65_81 n24_a_seiko_9r65_82 N n24_a_seiko_9r65_81->n24_a_seiko_9r65_82 n24_a_seiko_9r65_82->n24_a_seiko_9r65_83 n24_a_seiko_9r65_84->n24_a_seiko_9r65_85 n24_a_seiko_9r65_87 CONJ n24_a_seiko_9r65_86->n24_a_seiko_9r65_87 n24_a_seiko_9r65_89 NLYR n24_a_seiko_9r65_86->n24_a_seiko_9r65_89 n24_a_seiko_9r65_87->n24_a_seiko_9r65_88 n24_a_seiko_9r65_90 ADJP n24_a_seiko_9r65_89->n24_a_seiko_9r65_90 n24_a_seiko_9r65_93 N n24_a_seiko_9r65_89->n24_a_seiko_9r65_93 n24_a_seiko_9r65_91 ADJ n24_a_seiko_9r65_90->n24_a_seiko_9r65_91 n24_a_seiko_9r65_91->n24_a_seiko_9r65_92 n24_a_seiko_9r65_93->n24_a_seiko_9r65_94 n24_a_seiko_9r65_95->n24_a_seiko_9r65_96 
( (IP-MAT (NP-SBJ;{SPRING_DRIVE} (D The;{the})
                                 (NPR Spring;{Spring})
                                 (NPR Drive;{Drive}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D a;{a})
                  (ADJP (ADJ self_<hyphen>_contained;{self_contained}))
                  (N drive;{drive})
                  (N system;{system})
                  (IP-REL (C that;{that})
                          (NP-SBJ *T*)
                          (ILYR (ILYR (VBP;_Tn_ realizes;{realize})
                                      (NP-OB1 (N accuracy;{accuracy})
                                              (ADJP (ADJ equivalent;{equivalent})
                                                    (PP (P-ROLE to;{to})
                                                        (NP (D a;{a})
                                                            (N quartz;{quartz})
                                                            (N watch;{watch})))))
                                      (PP-NIM (P-ROLE with;{with})
                                              (NP (ADVP (ADV only;{only}))
                                                  (D the;{the})
                                                  (N power;{power})
                                                  (PP (P-ROLE of;{of})
                                                      (NP (D the;{the})
                                                          (N mainspring;{mainspring}))))))
                                (CONJP (CONJ and;{and})
                                       (ILYR (HVP;_Tn_ has;{have})
                                             (NP-OB1 (Q no;{no})
                                                     (NLYR (NLYR (N battery;{battery}))
                                                           (PUNC ,)
                                                           (CONJP (NLYR (N motor;{motor})))
                                                           (PUNC ,)
                                                           (CONJP (CONJ or;{or})
                                                                  (NLYR (ADJP (ADJ secondary;{secondary}))
                                                                        (N battery;{battery}))))))))))
          (PUNC .))
  (ID 24_a_seiko_9r65))