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_0001__The_r_0036_0003__power [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_0001__The_r_0036_0003__power [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_0001__The_r_0036_0003__power, 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_0001__The_r_0036_0003__power, 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 z_000_36_a_seiko_9r65_42 r_0036_0016__to_r_0036_0017__drive to drive z_000_36_a_seiko_9r65_42->r_0036_0016__to_r_0036_0017__drive [conj1] r_0036_0011__generating generating z_000_36_a_seiko_9r65_42->r_0036_0011__generating [conj2] r_0036_0021__and and r_0036_0016__to_r_0036_0017__drive->r_0036_0021__and [arg1] r_0036_0001__The_r_0036_0003__power The power r_0036_0016__to_r_0036_0017__drive->r_0036_0001__The_r_0036_0003__power [arg0] r_0036_0011__generating->r_0036_0001__The_r_0036_0003__power [arg0] 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_0012__electricity electricity r_0036_0011__generating->r_0036_0012__electricity [arg1] z_000_36_a_seiko_9r65_27 z_000_36_a_seiko_9r65_27->z_000_36_a_seiko_9r65_42 [conj1] r_0036_0007__rotates rotates z_000_36_a_seiko_9r65_27->r_0036_0007__rotates [conj2] 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_0022__IC IC r_0036_0021__and->r_0036_0022__IC [conj2] 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_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] 
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_1_THE_POWER,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_1_THE_POWER,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__1_1_1_1 The n36_a_seiko_9r65__1_1_2_1_1 unwinding n36_a_seiko_9r65__1_1_3_1 power n36_a_seiko_9r65__1_1_4_1_1 of n36_a_seiko_9r65__1_1_4_2_1_1 the n36_a_seiko_9r65__1_1_4_2_2_1 mainspring n36_a_seiko_9r65__1_2_1 rotates n36_a_seiko_9r65__1_3_1_1 the n36_a_seiko_9r65__1_3_2_1 rotor n36_a_seiko_9r65__1_4_1 , n36_a_seiko_9r65__1_5_1_1_1 generating n36_a_seiko_9r65__1_5_1_2_1_1 electricity n36_a_seiko_9r65__1_5_1_3_1_1 in n36_a_seiko_9r65__1_5_1_3_2_1_1 the n36_a_seiko_9r65__1_5_1_3_2_2_1 coil n36_a_seiko_9r65__1_5_1_4_1_1_1 to n36_a_seiko_9r65__1_5_1_4_1_2_1 drive n36_a_seiko_9r65__1_5_1_4_1_3_1_1_1_1 the n36_a_seiko_9r65__1_5_1_4_1_3_1_1_2_1 crystal n36_a_seiko_9r65__1_5_1_4_1_3_1_1_3_1 oscillator n36_a_seiko_9r65__1_5_1_4_1_3_1_2_1_1 and n36_a_seiko_9r65__1_5_1_4_1_3_1_2_2_1_1 IC n36_a_seiko_9r65__1_6_1 . n36_a_seiko_9r65__1 IP-MAT n36_a_seiko_9r65__1_1 NP-SBJ n36_a_seiko_9r65__1->n36_a_seiko_9r65__1_1 n36_a_seiko_9r65__1_2 VBP;_Tn_ n36_a_seiko_9r65__1->n36_a_seiko_9r65__1_2 n36_a_seiko_9r65__1_3 NP-OB1 n36_a_seiko_9r65__1->n36_a_seiko_9r65__1_3 n36_a_seiko_9r65__1_4 PUNC n36_a_seiko_9r65__1->n36_a_seiko_9r65__1_4 n36_a_seiko_9r65__1_5 PP-SCON n36_a_seiko_9r65__1->n36_a_seiko_9r65__1_5 n36_a_seiko_9r65__1_6 PUNC n36_a_seiko_9r65__1->n36_a_seiko_9r65__1_6 n36_a_seiko_9r65__1_1_1 D n36_a_seiko_9r65__1_1->n36_a_seiko_9r65__1_1_1 n36_a_seiko_9r65__1_1_2 IP-PPL n36_a_seiko_9r65__1_1->n36_a_seiko_9r65__1_1_2 n36_a_seiko_9r65__1_1_3 N n36_a_seiko_9r65__1_1->n36_a_seiko_9r65__1_1_3 n36_a_seiko_9r65__1_1_4 PP n36_a_seiko_9r65__1_1->n36_a_seiko_9r65__1_1_4 n36_a_seiko_9r65__1_1_1->n36_a_seiko_9r65__1_1_1_1 n36_a_seiko_9r65__1_1_2_1 VAG;_I_ n36_a_seiko_9r65__1_1_2->n36_a_seiko_9r65__1_1_2_1 n36_a_seiko_9r65__1_1_2_1->n36_a_seiko_9r65__1_1_2_1_1 n36_a_seiko_9r65__1_1_3->n36_a_seiko_9r65__1_1_3_1 n36_a_seiko_9r65__1_1_4_1 P-ROLE n36_a_seiko_9r65__1_1_4->n36_a_seiko_9r65__1_1_4_1 n36_a_seiko_9r65__1_1_4_2 NP n36_a_seiko_9r65__1_1_4->n36_a_seiko_9r65__1_1_4_2 n36_a_seiko_9r65__1_1_4_1->n36_a_seiko_9r65__1_1_4_1_1 n36_a_seiko_9r65__1_1_4_2_1 D n36_a_seiko_9r65__1_1_4_2->n36_a_seiko_9r65__1_1_4_2_1 n36_a_seiko_9r65__1_1_4_2_2 N n36_a_seiko_9r65__1_1_4_2->n36_a_seiko_9r65__1_1_4_2_2 n36_a_seiko_9r65__1_1_4_2_1->n36_a_seiko_9r65__1_1_4_2_1_1 n36_a_seiko_9r65__1_1_4_2_2->n36_a_seiko_9r65__1_1_4_2_2_1 n36_a_seiko_9r65__1_2->n36_a_seiko_9r65__1_2_1 n36_a_seiko_9r65__1_3_1 D n36_a_seiko_9r65__1_3->n36_a_seiko_9r65__1_3_1 n36_a_seiko_9r65__1_3_2 N n36_a_seiko_9r65__1_3->n36_a_seiko_9r65__1_3_2 n36_a_seiko_9r65__1_3_1->n36_a_seiko_9r65__1_3_1_1 n36_a_seiko_9r65__1_3_2->n36_a_seiko_9r65__1_3_2_1 n36_a_seiko_9r65__1_4->n36_a_seiko_9r65__1_4_1 n36_a_seiko_9r65__1_5_1 IP-PPL n36_a_seiko_9r65__1_5->n36_a_seiko_9r65__1_5_1 n36_a_seiko_9r65__1_5_1_1 VAG;_Tn_ n36_a_seiko_9r65__1_5_1->n36_a_seiko_9r65__1_5_1_1 n36_a_seiko_9r65__1_5_1_2 NP-OB1 n36_a_seiko_9r65__1_5_1->n36_a_seiko_9r65__1_5_1_2 n36_a_seiko_9r65__1_5_1_3 PP-NIM n36_a_seiko_9r65__1_5_1->n36_a_seiko_9r65__1_5_1_3 n36_a_seiko_9r65__1_5_1_4 PP-SCON n36_a_seiko_9r65__1_5_1->n36_a_seiko_9r65__1_5_1_4 n36_a_seiko_9r65__1_5_1_1->n36_a_seiko_9r65__1_5_1_1_1 n36_a_seiko_9r65__1_5_1_2_1 N n36_a_seiko_9r65__1_5_1_2->n36_a_seiko_9r65__1_5_1_2_1 n36_a_seiko_9r65__1_5_1_2_1->n36_a_seiko_9r65__1_5_1_2_1_1 n36_a_seiko_9r65__1_5_1_3_1 P-ROLE n36_a_seiko_9r65__1_5_1_3->n36_a_seiko_9r65__1_5_1_3_1 n36_a_seiko_9r65__1_5_1_3_2 NP n36_a_seiko_9r65__1_5_1_3->n36_a_seiko_9r65__1_5_1_3_2 n36_a_seiko_9r65__1_5_1_3_1->n36_a_seiko_9r65__1_5_1_3_1_1 n36_a_seiko_9r65__1_5_1_3_2_1 D n36_a_seiko_9r65__1_5_1_3_2->n36_a_seiko_9r65__1_5_1_3_2_1 n36_a_seiko_9r65__1_5_1_3_2_2 N n36_a_seiko_9r65__1_5_1_3_2->n36_a_seiko_9r65__1_5_1_3_2_2 n36_a_seiko_9r65__1_5_1_3_2_1->n36_a_seiko_9r65__1_5_1_3_2_1_1 n36_a_seiko_9r65__1_5_1_3_2_2->n36_a_seiko_9r65__1_5_1_3_2_2_1 n36_a_seiko_9r65__1_5_1_4_1 IP-INF n36_a_seiko_9r65__1_5_1_4->n36_a_seiko_9r65__1_5_1_4_1 n36_a_seiko_9r65__1_5_1_4_1_1 TO n36_a_seiko_9r65__1_5_1_4_1->n36_a_seiko_9r65__1_5_1_4_1_1 n36_a_seiko_9r65__1_5_1_4_1_2 VB;_Tn_ n36_a_seiko_9r65__1_5_1_4_1->n36_a_seiko_9r65__1_5_1_4_1_2 n36_a_seiko_9r65__1_5_1_4_1_3 NP-OB1 n36_a_seiko_9r65__1_5_1_4_1->n36_a_seiko_9r65__1_5_1_4_1_3 n36_a_seiko_9r65__1_5_1_4_1_1->n36_a_seiko_9r65__1_5_1_4_1_1_1 n36_a_seiko_9r65__1_5_1_4_1_2->n36_a_seiko_9r65__1_5_1_4_1_2_1 n36_a_seiko_9r65__1_5_1_4_1_3_1 NLYR n36_a_seiko_9r65__1_5_1_4_1_3->n36_a_seiko_9r65__1_5_1_4_1_3_1 n36_a_seiko_9r65__1_5_1_4_1_3_1_1 NLYR n36_a_seiko_9r65__1_5_1_4_1_3_1->n36_a_seiko_9r65__1_5_1_4_1_3_1_1 n36_a_seiko_9r65__1_5_1_4_1_3_1_2 CONJP n36_a_seiko_9r65__1_5_1_4_1_3_1->n36_a_seiko_9r65__1_5_1_4_1_3_1_2 n36_a_seiko_9r65__1_5_1_4_1_3_1_1_1 D n36_a_seiko_9r65__1_5_1_4_1_3_1_1->n36_a_seiko_9r65__1_5_1_4_1_3_1_1_1 n36_a_seiko_9r65__1_5_1_4_1_3_1_1_2 N n36_a_seiko_9r65__1_5_1_4_1_3_1_1->n36_a_seiko_9r65__1_5_1_4_1_3_1_1_2 n36_a_seiko_9r65__1_5_1_4_1_3_1_1_3 N n36_a_seiko_9r65__1_5_1_4_1_3_1_1->n36_a_seiko_9r65__1_5_1_4_1_3_1_1_3 n36_a_seiko_9r65__1_5_1_4_1_3_1_1_1->n36_a_seiko_9r65__1_5_1_4_1_3_1_1_1_1 n36_a_seiko_9r65__1_5_1_4_1_3_1_1_2->n36_a_seiko_9r65__1_5_1_4_1_3_1_1_2_1 n36_a_seiko_9r65__1_5_1_4_1_3_1_1_3->n36_a_seiko_9r65__1_5_1_4_1_3_1_1_3_1 n36_a_seiko_9r65__1_5_1_4_1_3_1_2_1 CONJ n36_a_seiko_9r65__1_5_1_4_1_3_1_2->n36_a_seiko_9r65__1_5_1_4_1_3_1_2_1 n36_a_seiko_9r65__1_5_1_4_1_3_1_2_2 NLYR n36_a_seiko_9r65__1_5_1_4_1_3_1_2->n36_a_seiko_9r65__1_5_1_4_1_3_1_2_2 n36_a_seiko_9r65__1_5_1_4_1_3_1_2_1->n36_a_seiko_9r65__1_5_1_4_1_3_1_2_1_1 n36_a_seiko_9r65__1_5_1_4_1_3_1_2_2_1 N n36_a_seiko_9r65__1_5_1_4_1_3_1_2_2->n36_a_seiko_9r65__1_5_1_4_1_3_1_2_2_1 n36_a_seiko_9r65__1_5_1_4_1_3_1_2_2_1->n36_a_seiko_9r65__1_5_1_4_1_3_1_2_2_1_1 n36_a_seiko_9r65__1_6->n36_a_seiko_9r65__1_6_1 
( (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))