Context                Previous, Next                Top


36_a_seiko_9r65
The unwinding power of the mainspring rotates the rotor, generating electricity in the coil to drive the crystal oscillator and IC.

%3 r_0036_0001__The_r_0036_0003__power The power r_0036_0005__the_r_0036_0006__mainspring the mainspring r_0036_0001__The_r_0036_0003__power->r_0036_0005__the_r_0036_0006__mainspring of r_0036_0002__unwinding unwinding r_0036_0002__unwinding->r_0036_0001__The_r_0036_0003__power [arg0] r_0036_0007__rotates rotates r_0036_0007__rotates->r_0036_0001__The_r_0036_0003__power [arg0] r_0036_0008__the_r_0036_0009__rotor the rotor r_0036_0007__rotates->r_0036_0008__the_r_0036_0009__rotor [arg1] r_0036_0011__generating generating r_0036_0011__generating->r_0036_0008__the_r_0036_0009__rotor [arg0] r_0036_0012__electricity electricity r_0036_0011__generating->r_0036_0012__electricity [arg1] r_0036_0014__the_r_0036_0015__coil the coil r_0036_0011__generating->r_0036_0014__the_r_0036_0015__coil in [nim] r_0036_0016__to_r_0036_0017__drive to drive r_0036_0016__to_r_0036_0017__drive->r_0036_0012__electricity [arg0] r_0036_0021__and and r_0036_0016__to_r_0036_0017__drive->r_0036_0021__and [arg1] r_0036_0018__the_r_0036_0019__crystal_r_0036_0020__oscillator the crystal oscillator r_0036_0021__and->r_0036_0018__the_r_0036_0019__crystal_r_0036_0020__oscillator [conj1] r_0036_0022__IC IC r_0036_0021__and->r_0036_0022__IC [conj2] z_000_36_a_seiko_9r65_27 z_000_36_a_seiko_9r65_27->r_0036_0007__rotates [scope] z_000_36_a_seiko_9r65_42 z_000_36_a_seiko_9r65_27->z_000_36_a_seiko_9r65_42 [restriction] z_000_36_a_seiko_9r65_42->r_0036_0011__generating [scope] z_000_36_a_seiko_9r65_42->r_0036_0016__to_r_0036_0017__drive [restriction] 
arc(r_0036_0001__The_r_0036_0003__power, r_0036_0005__the_r_0036_0006__mainspring, r_0036_0004__of).
arc(r_0036_0002__unwinding, r_0036_0001__The_r_0036_0003__power, arg0).
arc(r_0036_0007__rotates, r_0036_0001__The_r_0036_0003__power, arg0).
arc(r_0036_0007__rotates, r_0036_0008__the_r_0036_0009__rotor, arg1).
arc(r_0036_0011__generating, r_0036_0008__the_r_0036_0009__rotor, arg0).
arc(r_0036_0011__generating, r_0036_0012__electricity, arg1).
arc(r_0036_0011__generating, r_0036_0014__the_r_0036_0015__coil, r_0036_0013__in_nim37).
arc(r_0036_0016__to_r_0036_0017__drive, r_0036_0012__electricity, arg0).
arc(r_0036_0016__to_r_0036_0017__drive, r_0036_0021__and, arg1).
arc(r_0036_0021__and, r_0036_0018__the_r_0036_0019__crystal_r_0036_0020__oscillator, conj1).
arc(r_0036_0021__and, r_0036_0022__IC, conj2).
arc(z_000_36_a_seiko_9r65_27, r_0036_0007__rotates, scope).
arc(z_000_36_a_seiko_9r65_27, z_000_36_a_seiko_9r65_42, restriction).
arc(z_000_36_a_seiko_9r65_42, r_0036_0011__generating, scope).
arc(z_000_36_a_seiko_9r65_42, r_0036_0016__to_r_0036_0017__drive, restriction).


%3 r_0036_0001__The_r_0036_0003__power The power r_0036_0005__the_r_0036_0006__mainspring the mainspring r_0036_0001__The_r_0036_0003__power->r_0036_0005__the_r_0036_0006__mainspring of r_0036_0002__unwinding unwinding r_0036_0002__unwinding->r_0036_0001__The_r_0036_0003__power [arg0] r_0036_0007__rotates rotates r_0036_0007__rotates->r_0036_0001__The_r_0036_0003__power [arg0] r_0036_0008__the_r_0036_0009__rotor the rotor r_0036_0007__rotates->r_0036_0008__the_r_0036_0009__rotor [arg1] r_0036_0011__generating generating r_0036_0011__generating->r_0036_0008__the_r_0036_0009__rotor [arg0] r_0036_0012__electricity electricity r_0036_0011__generating->r_0036_0012__electricity [arg1] r_0036_0014__the_r_0036_0015__coil the coil r_0036_0011__generating->r_0036_0014__the_r_0036_0015__coil in [nim] r_0036_0016__to_r_0036_0017__drive to drive r_0036_0016__to_r_0036_0017__drive->r_0036_0012__electricity [arg0] r_0036_0021__and and r_0036_0016__to_r_0036_0017__drive->r_0036_0021__and [arg1] r_0036_0018__the_r_0036_0019__crystal_r_0036_0020__oscillator the crystal oscillator r_0036_0021__and->r_0036_0018__the_r_0036_0019__crystal_r_0036_0020__oscillator [conj1] r_0036_0022__IC IC r_0036_0021__and->r_0036_0022__IC [conj2] z_000_36_a_seiko_9r65_27 z_000_36_a_seiko_9r65_27->r_0036_0007__rotates [conj2] z_000_36_a_seiko_9r65_42 z_000_36_a_seiko_9r65_27->z_000_36_a_seiko_9r65_42 [conj1] z_000_36_a_seiko_9r65_42->r_0036_0011__generating [conj2] z_000_36_a_seiko_9r65_42->r_0036_0016__to_r_0036_0017__drive [conj1] 
fof(formula,axiom,
    ? [R_36_2_UNWINDING,Z_36_A_SEIKO_9R65_27,Z_36_A_SEIKO_9R65_42,R_36_16_TO_DRIVE,R_36_21_AND,R_36_18_THE_CRYSTAL_OSCILLATOR,R_36_22_IC,R_36_11_GENERATING,R_36_12_ELECTRICITY,R_36_14_THE_COIL,R_36_7_ROTATES,R_36_1_THE_POWER,R_36_5_THE_MAINSPRING,R_36_8_THE_ROTOR] :
      ( the_crystal_oscillator(R_36_18_THE_CRYSTAL_OSCILLATOR)
      & iC(R_36_22_IC)
      & electricity(R_36_12_ELECTRICITY)
      & the_coil(R_36_14_THE_COIL)
      & the_mainspring(R_36_5_THE_MAINSPRING)
      & the_rotor(R_36_8_THE_ROTOR)
      & unwinding(R_36_2_UNWINDING,R_36_1_THE_POWER)
      & the_power(R_36_1_THE_POWER)
      & of(R_36_1_THE_POWER,R_36_5_THE_MAINSPRING)
      & z_36_a_seiko_9r65_27(Z_36_A_SEIKO_9R65_27)
      & conj1(Z_36_A_SEIKO_9R65_27,Z_36_A_SEIKO_9R65_42)
      & z_36_a_seiko_9r65_42(Z_36_A_SEIKO_9R65_42)
      & conj1(Z_36_A_SEIKO_9R65_42,R_36_16_TO_DRIVE)
      & to_drive(R_36_16_TO_DRIVE,R_36_12_ELECTRICITY,R_36_21_AND)
      & and(R_36_21_AND)
      & conj1(R_36_21_AND,R_36_18_THE_CRYSTAL_OSCILLATOR)
      & conj2(R_36_21_AND,R_36_22_IC)
      & conj2(Z_36_A_SEIKO_9R65_42,R_36_11_GENERATING)
      & generating(R_36_11_GENERATING,R_36_8_THE_ROTOR,R_36_12_ELECTRICITY)
      & in_nim37(R_36_11_GENERATING,R_36_14_THE_COIL)
      & conj2(Z_36_A_SEIKO_9R65_27,R_36_7_ROTATES)
      & rotates(R_36_7_ROTATES,R_36_1_THE_POWER,R_36_8_THE_ROTOR) ) ).


n36_a_seiko_9r65 n36_a_seiko_9r65_4 The n36_a_seiko_9r65_7 unwinding n36_a_seiko_9r65_9 power n36_a_seiko_9r65_12 of n36_a_seiko_9r65_15 the n36_a_seiko_9r65_17 mainspring n36_a_seiko_9r65_19 rotates n36_a_seiko_9r65_22 the n36_a_seiko_9r65_24 rotor n36_a_seiko_9r65_26 , n36_a_seiko_9r65_30 generating n36_a_seiko_9r65_33 electricity n36_a_seiko_9r65_36 in n36_a_seiko_9r65_39 the n36_a_seiko_9r65_41 coil n36_a_seiko_9r65_45 to n36_a_seiko_9r65_47 drive n36_a_seiko_9r65_52 the n36_a_seiko_9r65_54 crystal n36_a_seiko_9r65_56 oscillator n36_a_seiko_9r65_59 and n36_a_seiko_9r65_62 IC n36_a_seiko_9r65_64 . n36_a_seiko_9r65_1 IP-MAT n36_a_seiko_9r65_2 NP-SBJ n36_a_seiko_9r65_1->n36_a_seiko_9r65_2 n36_a_seiko_9r65_18 VBP;_Tn_ n36_a_seiko_9r65_1->n36_a_seiko_9r65_18 n36_a_seiko_9r65_20 NP-OB1 n36_a_seiko_9r65_1->n36_a_seiko_9r65_20 n36_a_seiko_9r65_25 PUNC n36_a_seiko_9r65_1->n36_a_seiko_9r65_25 n36_a_seiko_9r65_27 PP-SCON n36_a_seiko_9r65_1->n36_a_seiko_9r65_27 n36_a_seiko_9r65_63 PUNC n36_a_seiko_9r65_1->n36_a_seiko_9r65_63 n36_a_seiko_9r65_3 D n36_a_seiko_9r65_2->n36_a_seiko_9r65_3 n36_a_seiko_9r65_5 IP-PPL n36_a_seiko_9r65_2->n36_a_seiko_9r65_5 n36_a_seiko_9r65_8 N n36_a_seiko_9r65_2->n36_a_seiko_9r65_8 n36_a_seiko_9r65_10 PP n36_a_seiko_9r65_2->n36_a_seiko_9r65_10 n36_a_seiko_9r65_3->n36_a_seiko_9r65_4 n36_a_seiko_9r65_6 VAG;_I_ n36_a_seiko_9r65_5->n36_a_seiko_9r65_6 n36_a_seiko_9r65_6->n36_a_seiko_9r65_7 n36_a_seiko_9r65_8->n36_a_seiko_9r65_9 n36_a_seiko_9r65_11 P-ROLE n36_a_seiko_9r65_10->n36_a_seiko_9r65_11 n36_a_seiko_9r65_13 NP n36_a_seiko_9r65_10->n36_a_seiko_9r65_13 n36_a_seiko_9r65_11->n36_a_seiko_9r65_12 n36_a_seiko_9r65_14 D n36_a_seiko_9r65_13->n36_a_seiko_9r65_14 n36_a_seiko_9r65_16 N n36_a_seiko_9r65_13->n36_a_seiko_9r65_16 n36_a_seiko_9r65_14->n36_a_seiko_9r65_15 n36_a_seiko_9r65_16->n36_a_seiko_9r65_17 n36_a_seiko_9r65_18->n36_a_seiko_9r65_19 n36_a_seiko_9r65_21 D n36_a_seiko_9r65_20->n36_a_seiko_9r65_21 n36_a_seiko_9r65_23 N n36_a_seiko_9r65_20->n36_a_seiko_9r65_23 n36_a_seiko_9r65_21->n36_a_seiko_9r65_22 n36_a_seiko_9r65_23->n36_a_seiko_9r65_24 n36_a_seiko_9r65_25->n36_a_seiko_9r65_26 n36_a_seiko_9r65_28 IP-PPL n36_a_seiko_9r65_27->n36_a_seiko_9r65_28 n36_a_seiko_9r65_29 VAG;_Tn_ n36_a_seiko_9r65_28->n36_a_seiko_9r65_29 n36_a_seiko_9r65_31 NP-OB1 n36_a_seiko_9r65_28->n36_a_seiko_9r65_31 n36_a_seiko_9r65_34 PP-NIM n36_a_seiko_9r65_28->n36_a_seiko_9r65_34 n36_a_seiko_9r65_42 PP-SCON n36_a_seiko_9r65_28->n36_a_seiko_9r65_42 n36_a_seiko_9r65_29->n36_a_seiko_9r65_30 n36_a_seiko_9r65_32 N n36_a_seiko_9r65_31->n36_a_seiko_9r65_32 n36_a_seiko_9r65_32->n36_a_seiko_9r65_33 n36_a_seiko_9r65_35 P-ROLE n36_a_seiko_9r65_34->n36_a_seiko_9r65_35 n36_a_seiko_9r65_37 NP n36_a_seiko_9r65_34->n36_a_seiko_9r65_37 n36_a_seiko_9r65_35->n36_a_seiko_9r65_36 n36_a_seiko_9r65_38 D n36_a_seiko_9r65_37->n36_a_seiko_9r65_38 n36_a_seiko_9r65_40 N n36_a_seiko_9r65_37->n36_a_seiko_9r65_40 n36_a_seiko_9r65_38->n36_a_seiko_9r65_39 n36_a_seiko_9r65_40->n36_a_seiko_9r65_41 n36_a_seiko_9r65_43 IP-INF n36_a_seiko_9r65_42->n36_a_seiko_9r65_43 n36_a_seiko_9r65_44 TO n36_a_seiko_9r65_43->n36_a_seiko_9r65_44 n36_a_seiko_9r65_46 VB;_Tn_ n36_a_seiko_9r65_43->n36_a_seiko_9r65_46 n36_a_seiko_9r65_48 NP-OB1 n36_a_seiko_9r65_43->n36_a_seiko_9r65_48 n36_a_seiko_9r65_44->n36_a_seiko_9r65_45 n36_a_seiko_9r65_46->n36_a_seiko_9r65_47 n36_a_seiko_9r65_49 NLYR n36_a_seiko_9r65_48->n36_a_seiko_9r65_49 n36_a_seiko_9r65_50 NLYR n36_a_seiko_9r65_49->n36_a_seiko_9r65_50 n36_a_seiko_9r65_57 CONJP n36_a_seiko_9r65_49->n36_a_seiko_9r65_57 n36_a_seiko_9r65_51 D n36_a_seiko_9r65_50->n36_a_seiko_9r65_51 n36_a_seiko_9r65_53 N n36_a_seiko_9r65_50->n36_a_seiko_9r65_53 n36_a_seiko_9r65_55 N n36_a_seiko_9r65_50->n36_a_seiko_9r65_55 n36_a_seiko_9r65_51->n36_a_seiko_9r65_52 n36_a_seiko_9r65_53->n36_a_seiko_9r65_54 n36_a_seiko_9r65_55->n36_a_seiko_9r65_56 n36_a_seiko_9r65_58 CONJ n36_a_seiko_9r65_57->n36_a_seiko_9r65_58 n36_a_seiko_9r65_60 NLYR n36_a_seiko_9r65_57->n36_a_seiko_9r65_60 n36_a_seiko_9r65_58->n36_a_seiko_9r65_59 n36_a_seiko_9r65_61 N n36_a_seiko_9r65_60->n36_a_seiko_9r65_61 n36_a_seiko_9r65_61->n36_a_seiko_9r65_62 n36_a_seiko_9r65_63->n36_a_seiko_9r65_64 
( (IP-MAT (NP-SBJ (D The;{the})
                  (IP-PPL (VAG;_I_ unwinding;{unwind}))
                  (N power;{power})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (N mainspring;{mainspring}))))
          (VBP;_Tn_ rotates;{rotate})
          (NP-OB1 (D the;{the})
                  (N rotor;{rotor}))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_Tn_ generating;{generate})
                           (NP-OB1 (N electricity;{electricity}))
                           (PP-NIM (P-ROLE in;{in})
                                   (NP (D the;{the})
                                       (N coil;{coil})))
                           (PP-SCON (IP-INF (TO to;{to})
                                            (VB;_Tn_ drive;{drive})
                                            (NP-OB1 (NLYR (NLYR (D the;{the})
                                                                (N crystal;{crystal})
                                                                (N oscillator;{oscillator}))
                                                          (CONJP (CONJ and;{and})
                                                                 (NLYR (N IC;{ic})))))))))
          (PUNC .))
  (ID 36_a_seiko_9r65))