Context                Previous, Next                Top


49_a_seiko_9r65
This generates small electricity in the coil to drive the IC and crystal oscillator.

%3 r_0049_0002__generates generates r_0049_0001__This This r_0049_0002__generates->r_0049_0001__This [arg0] r_0049_0004__electricity electricity r_0049_0002__generates->r_0049_0004__electricity [arg1] r_0049_0006__the_r_0049_0007__coil the coil r_0049_0002__generates->r_0049_0006__the_r_0049_0007__coil in [nim] r_0049_0003__small small r_0049_0004__electricity->r_0049_0003__small [attrib] r_0049_0008__to_r_0049_0009__drive to drive r_0049_0008__to_r_0049_0009__drive->r_0049_0001__This [arg0] r_0049_0012__and and r_0049_0008__to_r_0049_0009__drive->r_0049_0012__and [arg1] r_0049_0011__IC IC r_0049_0012__and->r_0049_0011__IC [conj1] r_0049_0013__crystal_r_0049_0014__oscillator crystal oscillator r_0049_0012__and->r_0049_0013__crystal_r_0049_0014__oscillator [conj2] z_000_49_a_seiko_9r65_21 z_000_49_a_seiko_9r65_21->r_0049_0002__generates [scope] z_000_49_a_seiko_9r65_21->r_0049_0008__to_r_0049_0009__drive [restriction] 
arc(r_0049_0002__generates, r_0049_0001__This, arg0).
arc(r_0049_0002__generates, r_0049_0004__electricity, arg1).
arc(r_0049_0002__generates, r_0049_0006__the_r_0049_0007__coil, r_0049_0005__in_nim16).
arc(r_0049_0004__electricity, r_0049_0003__small, attrib8).
arc(r_0049_0008__to_r_0049_0009__drive, r_0049_0001__This, arg0).
arc(r_0049_0008__to_r_0049_0009__drive, r_0049_0012__and, arg1).
arc(r_0049_0012__and, r_0049_0011__IC, conj1).
arc(r_0049_0012__and, r_0049_0013__crystal_r_0049_0014__oscillator, conj2).
arc(z_000_49_a_seiko_9r65_21, r_0049_0002__generates, scope).
arc(z_000_49_a_seiko_9r65_21, r_0049_0008__to_r_0049_0009__drive, restriction).


%3 z_000_49_a_seiko_9r65_21 r_0049_0008__to_r_0049_0009__drive to drive z_000_49_a_seiko_9r65_21->r_0049_0008__to_r_0049_0009__drive [conj1] r_0049_0002__generates generates z_000_49_a_seiko_9r65_21->r_0049_0002__generates [conj2] r_0049_0012__and and r_0049_0008__to_r_0049_0009__drive->r_0049_0012__and [arg1] r_0049_0001__This This r_0049_0008__to_r_0049_0009__drive->r_0049_0001__This [arg0] r_0049_0002__generates->r_0049_0001__This [arg0] r_0049_0004__electricity electricity r_0049_0002__generates->r_0049_0004__electricity [arg1] r_0049_0006__the_r_0049_0007__coil the coil r_0049_0002__generates->r_0049_0006__the_r_0049_0007__coil in [nim] r_0049_0013__crystal_r_0049_0014__oscillator crystal oscillator r_0049_0012__and->r_0049_0013__crystal_r_0049_0014__oscillator [conj2] r_0049_0011__IC IC r_0049_0012__and->r_0049_0011__IC [conj1] r_0049_0003__small small r_0049_0004__electricity->r_0049_0003__small [attrib] 
fof(formula,axiom,
    ? [Z_49_A_SEIKO_9R65_21,R_49_8_TO_DRIVE,R_49_12_AND,R_49_11_IC,R_49_13_CRYSTAL_OSCILLATOR,R_49_2_GENERATES,R_49_1_THIS,R_49_4_ELECTRICITY,R_49_3_SMALL,R_49_6_THE_COIL] :
      ( iC(R_49_11_IC)
      & crystal_oscillator(R_49_13_CRYSTAL_OSCILLATOR)
      & this(R_49_1_THIS)
      & small(R_49_3_SMALL)
      & the_coil(R_49_6_THE_COIL)
      & z_49_a_seiko_9r65_21(Z_49_A_SEIKO_9R65_21)
      & conj1(Z_49_A_SEIKO_9R65_21,R_49_8_TO_DRIVE)
      & to_drive(R_49_8_TO_DRIVE,R_49_1_THIS,R_49_12_AND)
      & and(R_49_12_AND)
      & conj1(R_49_12_AND,R_49_11_IC)
      & conj2(R_49_12_AND,R_49_13_CRYSTAL_OSCILLATOR)
      & conj2(Z_49_A_SEIKO_9R65_21,R_49_2_GENERATES)
      & generates(R_49_2_GENERATES,R_49_1_THIS,R_49_4_ELECTRICITY)
      & electricity(R_49_4_ELECTRICITY)
      & attrib8(R_49_4_ELECTRICITY,R_49_3_SMALL)
      & in_nim16(R_49_2_GENERATES,R_49_6_THE_COIL) ) ).


n49_a_seiko_9r65 n49_a_seiko_9r65__1_1_1_1 This n49_a_seiko_9r65__1_2_1 generates n49_a_seiko_9r65__1_3_1_1_1 small n49_a_seiko_9r65__1_3_2_1 electricity n49_a_seiko_9r65__1_4_1_1 in n49_a_seiko_9r65__1_4_2_1_1 the n49_a_seiko_9r65__1_4_2_2_1 coil n49_a_seiko_9r65__1_5_1_1_1 to n49_a_seiko_9r65__1_5_1_2_1 drive n49_a_seiko_9r65__1_5_1_3_1_1 the n49_a_seiko_9r65__1_5_1_3_2_1_1_1 IC n49_a_seiko_9r65__1_5_1_3_2_2_1_1 and n49_a_seiko_9r65__1_5_1_3_2_2_2_1_1 crystal n49_a_seiko_9r65__1_5_1_3_2_2_2_2_1 oscillator n49_a_seiko_9r65__1_6_1 . n49_a_seiko_9r65__1 IP-MAT n49_a_seiko_9r65__1_1 NP-SBJ n49_a_seiko_9r65__1->n49_a_seiko_9r65__1_1 n49_a_seiko_9r65__1_2 VBP;_Tn_ n49_a_seiko_9r65__1->n49_a_seiko_9r65__1_2 n49_a_seiko_9r65__1_3 NP-OB1 n49_a_seiko_9r65__1->n49_a_seiko_9r65__1_3 n49_a_seiko_9r65__1_4 PP-NIM n49_a_seiko_9r65__1->n49_a_seiko_9r65__1_4 n49_a_seiko_9r65__1_5 PP-SCON n49_a_seiko_9r65__1->n49_a_seiko_9r65__1_5 n49_a_seiko_9r65__1_6 PUNC n49_a_seiko_9r65__1->n49_a_seiko_9r65__1_6 n49_a_seiko_9r65__1_1_1 D;_nphd_ n49_a_seiko_9r65__1_1->n49_a_seiko_9r65__1_1_1 n49_a_seiko_9r65__1_1_1->n49_a_seiko_9r65__1_1_1_1 n49_a_seiko_9r65__1_2->n49_a_seiko_9r65__1_2_1 n49_a_seiko_9r65__1_3_1 ADJP n49_a_seiko_9r65__1_3->n49_a_seiko_9r65__1_3_1 n49_a_seiko_9r65__1_3_2 N n49_a_seiko_9r65__1_3->n49_a_seiko_9r65__1_3_2 n49_a_seiko_9r65__1_3_1_1 ADJ n49_a_seiko_9r65__1_3_1->n49_a_seiko_9r65__1_3_1_1 n49_a_seiko_9r65__1_3_1_1->n49_a_seiko_9r65__1_3_1_1_1 n49_a_seiko_9r65__1_3_2->n49_a_seiko_9r65__1_3_2_1 n49_a_seiko_9r65__1_4_1 P-ROLE n49_a_seiko_9r65__1_4->n49_a_seiko_9r65__1_4_1 n49_a_seiko_9r65__1_4_2 NP n49_a_seiko_9r65__1_4->n49_a_seiko_9r65__1_4_2 n49_a_seiko_9r65__1_4_1->n49_a_seiko_9r65__1_4_1_1 n49_a_seiko_9r65__1_4_2_1 D n49_a_seiko_9r65__1_4_2->n49_a_seiko_9r65__1_4_2_1 n49_a_seiko_9r65__1_4_2_2 N n49_a_seiko_9r65__1_4_2->n49_a_seiko_9r65__1_4_2_2 n49_a_seiko_9r65__1_4_2_1->n49_a_seiko_9r65__1_4_2_1_1 n49_a_seiko_9r65__1_4_2_2->n49_a_seiko_9r65__1_4_2_2_1 n49_a_seiko_9r65__1_5_1 IP-INF n49_a_seiko_9r65__1_5->n49_a_seiko_9r65__1_5_1 n49_a_seiko_9r65__1_5_1_1 TO n49_a_seiko_9r65__1_5_1->n49_a_seiko_9r65__1_5_1_1 n49_a_seiko_9r65__1_5_1_2 VB;_Tn_ n49_a_seiko_9r65__1_5_1->n49_a_seiko_9r65__1_5_1_2 n49_a_seiko_9r65__1_5_1_3 NP-OB1 n49_a_seiko_9r65__1_5_1->n49_a_seiko_9r65__1_5_1_3 n49_a_seiko_9r65__1_5_1_1->n49_a_seiko_9r65__1_5_1_1_1 n49_a_seiko_9r65__1_5_1_2->n49_a_seiko_9r65__1_5_1_2_1 n49_a_seiko_9r65__1_5_1_3_1 D n49_a_seiko_9r65__1_5_1_3->n49_a_seiko_9r65__1_5_1_3_1 n49_a_seiko_9r65__1_5_1_3_2 NLYR n49_a_seiko_9r65__1_5_1_3->n49_a_seiko_9r65__1_5_1_3_2 n49_a_seiko_9r65__1_5_1_3_1->n49_a_seiko_9r65__1_5_1_3_1_1 n49_a_seiko_9r65__1_5_1_3_2_1 NLYR n49_a_seiko_9r65__1_5_1_3_2->n49_a_seiko_9r65__1_5_1_3_2_1 n49_a_seiko_9r65__1_5_1_3_2_2 CONJP n49_a_seiko_9r65__1_5_1_3_2->n49_a_seiko_9r65__1_5_1_3_2_2 n49_a_seiko_9r65__1_5_1_3_2_1_1 N n49_a_seiko_9r65__1_5_1_3_2_1->n49_a_seiko_9r65__1_5_1_3_2_1_1 n49_a_seiko_9r65__1_5_1_3_2_1_1->n49_a_seiko_9r65__1_5_1_3_2_1_1_1 n49_a_seiko_9r65__1_5_1_3_2_2_1 CONJ n49_a_seiko_9r65__1_5_1_3_2_2->n49_a_seiko_9r65__1_5_1_3_2_2_1 n49_a_seiko_9r65__1_5_1_3_2_2_2 NLYR n49_a_seiko_9r65__1_5_1_3_2_2->n49_a_seiko_9r65__1_5_1_3_2_2_2 n49_a_seiko_9r65__1_5_1_3_2_2_1->n49_a_seiko_9r65__1_5_1_3_2_2_1_1 n49_a_seiko_9r65__1_5_1_3_2_2_2_1 N n49_a_seiko_9r65__1_5_1_3_2_2_2->n49_a_seiko_9r65__1_5_1_3_2_2_2_1 n49_a_seiko_9r65__1_5_1_3_2_2_2_2 N n49_a_seiko_9r65__1_5_1_3_2_2_2->n49_a_seiko_9r65__1_5_1_3_2_2_2_2 n49_a_seiko_9r65__1_5_1_3_2_2_2_1->n49_a_seiko_9r65__1_5_1_3_2_2_2_1_1 n49_a_seiko_9r65__1_5_1_3_2_2_2_2->n49_a_seiko_9r65__1_5_1_3_2_2_2_2_1 n49_a_seiko_9r65__1_6->n49_a_seiko_9r65__1_6_1 
( (IP-MAT (NP-SBJ;{POWER_OF_MAINSPRING} (D;_nphd_ This;{this}))
          (VBP;_Tn_ generates;{generate})
          (NP-OB1 (ADJP (ADJ small;{small}))
                  (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 (D the;{the})
                                   (NLYR (NLYR (N IC;{ic}))
                                         (CONJP (CONJ and;{and})
                                                (NLYR (N crystal;{crystal})
                                                      (N oscillator;{oscillator})))))))
          (PUNC .))
  (ID 49_a_seiko_9r65))