Context                Previous, Next                Top


52_a_seiko_9r65
Differences between the Spring Drive and mechanical watch

n52_a_seiko_9r65 n52_a_seiko_9r65__1_1_1 Differences n52_a_seiko_9r65__1_2_1_1 between n52_a_seiko_9r65__1_2_2_1_1 the n52_a_seiko_9r65__1_2_2_2_1_1_1 Spring n52_a_seiko_9r65__1_2_2_2_1_2_1 Drive n52_a_seiko_9r65__1_2_2_2_2_1_1 and n52_a_seiko_9r65__1_2_2_2_2_2_1_1_1 mechanical n52_a_seiko_9r65__1_2_2_2_2_2_2_1 watch n52_a_seiko_9r65__1 NP n52_a_seiko_9r65__1_1 NS n52_a_seiko_9r65__1->n52_a_seiko_9r65__1_1 n52_a_seiko_9r65__1_2 PP n52_a_seiko_9r65__1->n52_a_seiko_9r65__1_2 n52_a_seiko_9r65__1_1->n52_a_seiko_9r65__1_1_1 n52_a_seiko_9r65__1_2_1 P-ROLE n52_a_seiko_9r65__1_2->n52_a_seiko_9r65__1_2_1 n52_a_seiko_9r65__1_2_2 NP n52_a_seiko_9r65__1_2->n52_a_seiko_9r65__1_2_2 n52_a_seiko_9r65__1_2_1->n52_a_seiko_9r65__1_2_1_1 n52_a_seiko_9r65__1_2_2_1 D n52_a_seiko_9r65__1_2_2->n52_a_seiko_9r65__1_2_2_1 n52_a_seiko_9r65__1_2_2_2 NLYR n52_a_seiko_9r65__1_2_2->n52_a_seiko_9r65__1_2_2_2 n52_a_seiko_9r65__1_2_2_1->n52_a_seiko_9r65__1_2_2_1_1 n52_a_seiko_9r65__1_2_2_2_1 NLYR n52_a_seiko_9r65__1_2_2_2->n52_a_seiko_9r65__1_2_2_2_1 n52_a_seiko_9r65__1_2_2_2_2 CONJP n52_a_seiko_9r65__1_2_2_2->n52_a_seiko_9r65__1_2_2_2_2 n52_a_seiko_9r65__1_2_2_2_1_1 NPR n52_a_seiko_9r65__1_2_2_2_1->n52_a_seiko_9r65__1_2_2_2_1_1 n52_a_seiko_9r65__1_2_2_2_1_2 NPR n52_a_seiko_9r65__1_2_2_2_1->n52_a_seiko_9r65__1_2_2_2_1_2 n52_a_seiko_9r65__1_2_2_2_1_1->n52_a_seiko_9r65__1_2_2_2_1_1_1 n52_a_seiko_9r65__1_2_2_2_1_2->n52_a_seiko_9r65__1_2_2_2_1_2_1 n52_a_seiko_9r65__1_2_2_2_2_1 CONJ n52_a_seiko_9r65__1_2_2_2_2->n52_a_seiko_9r65__1_2_2_2_2_1 n52_a_seiko_9r65__1_2_2_2_2_2 NLYR n52_a_seiko_9r65__1_2_2_2_2->n52_a_seiko_9r65__1_2_2_2_2_2 n52_a_seiko_9r65__1_2_2_2_2_1->n52_a_seiko_9r65__1_2_2_2_2_1_1 n52_a_seiko_9r65__1_2_2_2_2_2_1 ADJP n52_a_seiko_9r65__1_2_2_2_2_2->n52_a_seiko_9r65__1_2_2_2_2_2_1 n52_a_seiko_9r65__1_2_2_2_2_2_2 N n52_a_seiko_9r65__1_2_2_2_2_2->n52_a_seiko_9r65__1_2_2_2_2_2_2 n52_a_seiko_9r65__1_2_2_2_2_2_1_1 ADJ n52_a_seiko_9r65__1_2_2_2_2_2_1->n52_a_seiko_9r65__1_2_2_2_2_2_1_1 n52_a_seiko_9r65__1_2_2_2_2_2_1_1->n52_a_seiko_9r65__1_2_2_2_2_2_1_1_1 n52_a_seiko_9r65__1_2_2_2_2_2_2->n52_a_seiko_9r65__1_2_2_2_2_2_2_1 
( (NP (NS Differences;{difference})
      (PP (P-ROLE between;{between})
          (NP (D the;{the})
              (NLYR (NLYR (NPR Spring;{Spring})
                          (NPR Drive;{Drive}))
                    (CONJP (CONJ and;{and})
                           (NLYR (ADJP (ADJ mechanical;{mechanical}))
                                 (N watch;{watch})))))))
  (ID 52_a_seiko_9r65))


%3 z_0052_5005 r_0052_0001__Differences Differences z_0052_5005->r_0052_0001__Differences r_0052_0003__the_r_0052_0004__Spring_r_0052_0005__Drive_r_0052_0006__and_r_0052_0007__mechanical_r_0052_0008__watch the Spring Drive and mechanical watch r_0052_0001__Differences->r_0052_0003__the_r_0052_0004__Spring_r_0052_0005__Drive_r_0052_0006__and_r_0052_0007__mechanical_r_0052_0008__watch between 
arc(r_0052_0001__Differences,r_0052_0003__the_r_0052_0004__Spring_r_0052_0005__Drive_r_0052_0006__and_r_0052_0007__mechanical_r_0052_0008__watch,r_0052_0002__between).
arc(z_0052_5005,r_0052_0001__Differences,z_0052_5002).


%3 r_0052_0001__Differences Differences r_0052_0003__the_r_0052_0004__Spring_r_0052_0005__Drive_r_0052_0006__and_r_0052_0007__mechanical_r_0052_0008__watch the Spring Drive and mechanical watch r_0052_0001__Differences->r_0052_0003__the_r_0052_0004__Spring_r_0052_0005__Drive_r_0052_0006__and_r_0052_0007__mechanical_r_0052_0008__watch between z_0052_5005 z_0052_5005->r_0052_0001__Differences 
fof(formula,axiom,
    ? [R_0052_0003__THE_R_0052_0004__SPRING_R_0052_0005__DRIVE_R_0052_0006__AND_R_0052_0007__MECHANICAL_R_0052_0008__WATCH,R_0052_0001__DIFFERENCES,Z_0052_5005] :
      ( r_0052_0003__the_r_0052_0004__Spring_r_0052_0005__Drive_r_0052_0006__and_r_0052_0007__mechanical_r_0052_0008__watch(R_0052_0003__THE_R_0052_0004__SPRING_R_0052_0005__DRIVE_R_0052_0006__AND_R_0052_0007__MECHANICAL_R_0052_0008__WATCH)
      & z_0052_5005(Z_0052_5005)
      & has_z_0052_5002(Z_0052_5005,R_0052_0001__DIFFERENCES)
      & r_0052_0001__Differences(R_0052_0001__DIFFERENCES)
      & has_r_0052_0002__between(R_0052_0001__DIFFERENCES,R_0052_0003__THE_R_0052_0004__SPRING_R_0052_0005__DRIVE_R_0052_0006__AND_R_0052_0007__MECHANICAL_R_0052_0008__WATCH) ) ).