Context                Previous, Next                Top


16_a_seiko_9r65
In a mechanical watch, the mainspring is wound and its unwinding power moves the hands.

%3 r_0016_0002__a_r_0016_0004__watch a watch r_0016_0003__mechanical mechanical r_0016_0002__a_r_0016_0004__watch->r_0016_0003__mechanical [attrib] r_0016_0008__is is r_0016_0008__is->r_0016_0002__a_r_0016_0004__watch In [nim] r_0016_0006__the_r_0016_0007__mainspring the mainspring r_0016_0008__is->r_0016_0006__the_r_0016_0007__mainspring [arg0] r_0016_0009__wound wound r_0016_0008__is->r_0016_0009__wound [prd] r_0016_0010__and and r_0016_0010__and->r_0016_0008__is [conj1] r_0016_0014__moves moves r_0016_0010__and->r_0016_0014__moves [conj2] r_0016_0014__moves->r_0016_0002__a_r_0016_0004__watch In [nim] r_0016_0013__power power r_0016_0014__moves->r_0016_0013__power [arg0] r_0016_0015__the_r_0016_0016__hands the hands r_0016_0014__moves->r_0016_0015__the_r_0016_0016__hands [arg1] r_0016_0012__unwinding unwinding r_0016_0012__unwinding->r_0016_0013__power [arg0] r_0016_0013__power->r_0016_0006__the_r_0016_0007__mainspring [gen] 
arc(r_0016_0002__a_r_0016_0004__watch, r_0016_0003__mechanical, attrib8).
arc(r_0016_0008__is, r_0016_0002__a_r_0016_0004__watch, r_0016_0001__In_nim5).
arc(r_0016_0008__is, r_0016_0006__the_r_0016_0007__mainspring, arg0).
arc(r_0016_0008__is, r_0016_0009__wound, prd).
arc(r_0016_0010__and, r_0016_0008__is, conj1).
arc(r_0016_0010__and, r_0016_0014__moves, conj2).
arc(r_0016_0012__unwinding, r_0016_0013__power, arg0).
arc(r_0016_0013__power, r_0016_0006__the_r_0016_0007__mainspring, gen).
arc(r_0016_0014__moves, r_0016_0002__a_r_0016_0004__watch, r_0016_0001__In_nim5).
arc(r_0016_0014__moves, r_0016_0013__power, arg0).
arc(r_0016_0014__moves, r_0016_0015__the_r_0016_0016__hands, arg1).


%3 r_0016_0014__moves moves r_0016_0015__the_r_0016_0016__hands the hands r_0016_0014__moves->r_0016_0015__the_r_0016_0016__hands [arg1] r_0016_0013__power power r_0016_0014__moves->r_0016_0013__power [arg0] r_0016_0002__a_r_0016_0004__watch a watch r_0016_0014__moves->r_0016_0002__a_r_0016_0004__watch In [nim] r_0016_0006__the_r_0016_0007__mainspring the mainspring r_0016_0013__power->r_0016_0006__the_r_0016_0007__mainspring [gen] r_0016_0003__mechanical mechanical r_0016_0002__a_r_0016_0004__watch->r_0016_0003__mechanical [attrib] r_0016_0012__unwinding unwinding r_0016_0012__unwinding->r_0016_0013__power [arg0] r_0016_0010__and and r_0016_0010__and->r_0016_0014__moves [conj2] r_0016_0008__is is r_0016_0010__and->r_0016_0008__is [conj1] r_0016_0008__is->r_0016_0002__a_r_0016_0004__watch In [nim] r_0016_0008__is->r_0016_0006__the_r_0016_0007__mainspring [arg0] r_0016_0009__wound wound r_0016_0008__is->r_0016_0009__wound [prd] 
fof(formula,axiom,
    ? [R_16_10_AND,R_16_8_IS,R_16_9_WOUND,R_16_14_MOVES,R_16_15_THE_HANDS,R_16_2_A_WATCH,R_16_3_MECHANICAL,R_16_12_UNWINDING,R_16_13_POWER,R_16_6_THE_MAINSPRING] :
      ( wound(R_16_9_WOUND)
      & the_hands(R_16_15_THE_HANDS)
      & mechanical(R_16_3_MECHANICAL)
      & the_mainspring(R_16_6_THE_MAINSPRING)
      & and(R_16_10_AND)
      & conj1(R_16_10_AND,R_16_8_IS)
      & is(R_16_8_IS,R_16_6_THE_MAINSPRING,R_16_9_WOUND)
      & in_nim5(R_16_8_IS,R_16_2_A_WATCH)
      & a_watch(R_16_2_A_WATCH)
      & attrib8(R_16_2_A_WATCH,R_16_3_MECHANICAL)
      & conj2(R_16_10_AND,R_16_14_MOVES)
      & moves(R_16_14_MOVES,R_16_13_POWER,R_16_15_THE_HANDS)
      & power(R_16_13_POWER)
      & gen(R_16_13_POWER,R_16_6_THE_MAINSPRING)
      & in_nim5(R_16_14_MOVES,R_16_2_A_WATCH)
      & unwinding(R_16_12_UNWINDING,R_16_13_POWER) ) ).


n16_a_seiko_9r65 n16_a_seiko_9r65__1_1_1_1 In n16_a_seiko_9r65__1_1_2_1_1 a n16_a_seiko_9r65__1_1_2_2_1_1 mechanical n16_a_seiko_9r65__1_1_2_3_1 watch n16_a_seiko_9r65__1_2_1 , n16_a_seiko_9r65__1_3_1_1_1_1 the n16_a_seiko_9r65__1_3_1_1_2_1 mainspring n16_a_seiko_9r65__1_3_1_2_1 is n16_a_seiko_9r65__1_3_1_3_1_1 wound n16_a_seiko_9r65__1_3_2_1_1 and n16_a_seiko_9r65__1_3_2_2_1_1_1_1 its n16_a_seiko_9r65__1_3_2_2_1_2_1_1 unwinding n16_a_seiko_9r65__1_3_2_2_1_3_1 power n16_a_seiko_9r65__1_3_2_2_2_1 moves n16_a_seiko_9r65__1_3_2_2_3_1_1 the n16_a_seiko_9r65__1_3_2_2_3_2_1 hands n16_a_seiko_9r65__1_4_1 . n16_a_seiko_9r65__1 IP-MAT n16_a_seiko_9r65__1_1 PP-NIM n16_a_seiko_9r65__1->n16_a_seiko_9r65__1_1 n16_a_seiko_9r65__1_2 PUNC n16_a_seiko_9r65__1->n16_a_seiko_9r65__1_2 n16_a_seiko_9r65__1_3 ILYR n16_a_seiko_9r65__1->n16_a_seiko_9r65__1_3 n16_a_seiko_9r65__1_4 PUNC n16_a_seiko_9r65__1->n16_a_seiko_9r65__1_4 n16_a_seiko_9r65__1_1_1 P-ROLE n16_a_seiko_9r65__1_1->n16_a_seiko_9r65__1_1_1 n16_a_seiko_9r65__1_1_2 NP n16_a_seiko_9r65__1_1->n16_a_seiko_9r65__1_1_2 n16_a_seiko_9r65__1_1_1->n16_a_seiko_9r65__1_1_1_1 n16_a_seiko_9r65__1_1_2_1 D n16_a_seiko_9r65__1_1_2->n16_a_seiko_9r65__1_1_2_1 n16_a_seiko_9r65__1_1_2_2 ADJP n16_a_seiko_9r65__1_1_2->n16_a_seiko_9r65__1_1_2_2 n16_a_seiko_9r65__1_1_2_3 N n16_a_seiko_9r65__1_1_2->n16_a_seiko_9r65__1_1_2_3 n16_a_seiko_9r65__1_1_2_1->n16_a_seiko_9r65__1_1_2_1_1 n16_a_seiko_9r65__1_1_2_2_1 ADJ n16_a_seiko_9r65__1_1_2_2->n16_a_seiko_9r65__1_1_2_2_1 n16_a_seiko_9r65__1_1_2_2_1->n16_a_seiko_9r65__1_1_2_2_1_1 n16_a_seiko_9r65__1_1_2_3->n16_a_seiko_9r65__1_1_2_3_1 n16_a_seiko_9r65__1_2->n16_a_seiko_9r65__1_2_1 n16_a_seiko_9r65__1_3_1 ILYR n16_a_seiko_9r65__1_3->n16_a_seiko_9r65__1_3_1 n16_a_seiko_9r65__1_3_2 CONJP n16_a_seiko_9r65__1_3->n16_a_seiko_9r65__1_3_2 n16_a_seiko_9r65__1_3_1_1 NP-SBJ n16_a_seiko_9r65__1_3_1->n16_a_seiko_9r65__1_3_1_1 n16_a_seiko_9r65__1_3_1_2 BEP;_Ln_ n16_a_seiko_9r65__1_3_1->n16_a_seiko_9r65__1_3_1_2 n16_a_seiko_9r65__1_3_1_3 NP-PRD n16_a_seiko_9r65__1_3_1->n16_a_seiko_9r65__1_3_1_3 n16_a_seiko_9r65__1_3_1_1_1 D n16_a_seiko_9r65__1_3_1_1->n16_a_seiko_9r65__1_3_1_1_1 n16_a_seiko_9r65__1_3_1_1_2 N n16_a_seiko_9r65__1_3_1_1->n16_a_seiko_9r65__1_3_1_1_2 n16_a_seiko_9r65__1_3_1_1_1->n16_a_seiko_9r65__1_3_1_1_1_1 n16_a_seiko_9r65__1_3_1_1_2->n16_a_seiko_9r65__1_3_1_1_2_1 n16_a_seiko_9r65__1_3_1_2->n16_a_seiko_9r65__1_3_1_2_1 n16_a_seiko_9r65__1_3_1_3_1 N n16_a_seiko_9r65__1_3_1_3->n16_a_seiko_9r65__1_3_1_3_1 n16_a_seiko_9r65__1_3_1_3_1->n16_a_seiko_9r65__1_3_1_3_1_1 n16_a_seiko_9r65__1_3_2_1 CONJ n16_a_seiko_9r65__1_3_2->n16_a_seiko_9r65__1_3_2_1 n16_a_seiko_9r65__1_3_2_2 ILYR n16_a_seiko_9r65__1_3_2->n16_a_seiko_9r65__1_3_2_2 n16_a_seiko_9r65__1_3_2_1->n16_a_seiko_9r65__1_3_2_1_1 n16_a_seiko_9r65__1_3_2_2_1 NP-SBJ n16_a_seiko_9r65__1_3_2_2->n16_a_seiko_9r65__1_3_2_2_1 n16_a_seiko_9r65__1_3_2_2_2 VBP;_Tn_ n16_a_seiko_9r65__1_3_2_2->n16_a_seiko_9r65__1_3_2_2_2 n16_a_seiko_9r65__1_3_2_2_3 NP-OB1 n16_a_seiko_9r65__1_3_2_2->n16_a_seiko_9r65__1_3_2_2_3 n16_a_seiko_9r65__1_3_2_2_1_1 NP-GEN n16_a_seiko_9r65__1_3_2_2_1->n16_a_seiko_9r65__1_3_2_2_1_1 n16_a_seiko_9r65__1_3_2_2_1_2 IP-PPL n16_a_seiko_9r65__1_3_2_2_1->n16_a_seiko_9r65__1_3_2_2_1_2 n16_a_seiko_9r65__1_3_2_2_1_3 N n16_a_seiko_9r65__1_3_2_2_1->n16_a_seiko_9r65__1_3_2_2_1_3 n16_a_seiko_9r65__1_3_2_2_1_1_1 PRO;_genm_ n16_a_seiko_9r65__1_3_2_2_1_1->n16_a_seiko_9r65__1_3_2_2_1_1_1 n16_a_seiko_9r65__1_3_2_2_1_1_1->n16_a_seiko_9r65__1_3_2_2_1_1_1_1 n16_a_seiko_9r65__1_3_2_2_1_2_1 VAG;_I_ n16_a_seiko_9r65__1_3_2_2_1_2->n16_a_seiko_9r65__1_3_2_2_1_2_1 n16_a_seiko_9r65__1_3_2_2_1_2_1->n16_a_seiko_9r65__1_3_2_2_1_2_1_1 n16_a_seiko_9r65__1_3_2_2_1_3->n16_a_seiko_9r65__1_3_2_2_1_3_1 n16_a_seiko_9r65__1_3_2_2_2->n16_a_seiko_9r65__1_3_2_2_2_1 n16_a_seiko_9r65__1_3_2_2_3_1 D n16_a_seiko_9r65__1_3_2_2_3->n16_a_seiko_9r65__1_3_2_2_3_1 n16_a_seiko_9r65__1_3_2_2_3_2 NS n16_a_seiko_9r65__1_3_2_2_3->n16_a_seiko_9r65__1_3_2_2_3_2 n16_a_seiko_9r65__1_3_2_2_3_1->n16_a_seiko_9r65__1_3_2_2_3_1_1 n16_a_seiko_9r65__1_3_2_2_3_2->n16_a_seiko_9r65__1_3_2_2_3_2_1 n16_a_seiko_9r65__1_4->n16_a_seiko_9r65__1_4_1 
( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (D a;{a})
                      (ADJP (ADJ mechanical;{mechanical}))
                      (N watch;{watch})))
          (PUNC ,)
          (ILYR (ILYR (NP-SBJ;{MAINSPRING} (D the;{the})
                                           (N mainspring;{mainspring}))
                      (BEP;_Ln_ is;{be})
                      (NP-PRD (N wound;{wound})))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (NP-GEN;{MAINSPRING} (PRO;_genm_ its;{its}))
                                     (IP-PPL (VAG;_I_ unwinding;{unwind}))
                                     (N power;{power}))
                             (VBP;_Tn_ moves;{move})
                             (NP-OB1 (D the;{the})
                                     (NS hands;{hand})))))
          (PUNC .))
  (ID 16_a_seiko_9r65))