Context                Previous, Next                Top


19_a_seiko_9r65
On the other hand, with quartz watches, the quartz is oscillated by a battery and the hands are turned by a motor.

%3 r_0019_0002__the_r_0019_0004__hand the hand r_0019_0003__other other r_0019_0002__the_r_0019_0004__hand->r_0019_0003__other [attrib] r_0019_0012__is is r_0019_0012__is->r_0019_0002__the_r_0019_0004__hand On [nim] r_0019_0007__quartz_r_0019_0008__watches quartz watches r_0019_0012__is->r_0019_0007__quartz_r_0019_0008__watches with [nim] r_0019_0013__oscillated oscillated r_0019_0012__is->r_0019_0013__oscillated [scope] r_0019_0010__the_r_0019_0011__quartz the quartz r_0019_0013__oscillated->r_0019_0010__the_r_0019_0011__quartz [arg1] r_0019_0015__a_r_0019_0016__battery a battery r_0019_0013__oscillated->r_0019_0015__a_r_0019_0016__battery [arg0] r_0019_0017__and and r_0019_0017__and->r_0019_0012__is [conj1] r_0019_0020__are are r_0019_0017__and->r_0019_0020__are [conj2] r_0019_0020__are->r_0019_0002__the_r_0019_0004__hand On [nim] r_0019_0020__are->r_0019_0007__quartz_r_0019_0008__watches with [nim] r_0019_0021__turned turned r_0019_0020__are->r_0019_0021__turned [scope] r_0019_0018__the_r_0019_0019__hands the hands r_0019_0021__turned->r_0019_0018__the_r_0019_0019__hands [arg1] r_0019_0023__a_r_0019_0024__motor a motor r_0019_0021__turned->r_0019_0023__a_r_0019_0024__motor [arg0] 
arc(r_0019_0002__the_r_0019_0004__hand, r_0019_0003__other, attrib8).
arc(r_0019_0012__is, r_0019_0002__the_r_0019_0004__hand, r_0019_0001__On_nim5).
arc(r_0019_0012__is, r_0019_0007__quartz_r_0019_0008__watches, r_0019_0006__with_nim18).
arc(r_0019_0012__is, r_0019_0013__oscillated, scope).
arc(r_0019_0013__oscillated, r_0019_0010__the_r_0019_0011__quartz, arg1).
arc(r_0019_0013__oscillated, r_0019_0015__a_r_0019_0016__battery, arg0).
arc(r_0019_0017__and, r_0019_0012__is, conj1).
arc(r_0019_0017__and, r_0019_0020__are, conj2).
arc(r_0019_0020__are, r_0019_0002__the_r_0019_0004__hand, r_0019_0001__On_nim5).
arc(r_0019_0020__are, r_0019_0007__quartz_r_0019_0008__watches, r_0019_0006__with_nim18).
arc(r_0019_0020__are, r_0019_0021__turned, scope).
arc(r_0019_0021__turned, r_0019_0018__the_r_0019_0019__hands, arg1).
arc(r_0019_0021__turned, r_0019_0023__a_r_0019_0024__motor, arg0).


%3 r_0019_0020__are_r_0019_0021__turned are turned r_0019_0023__a_r_0019_0024__motor a motor r_0019_0020__are_r_0019_0021__turned->r_0019_0023__a_r_0019_0024__motor [arg0] r_0019_0018__the_r_0019_0019__hands the hands r_0019_0020__are_r_0019_0021__turned->r_0019_0018__the_r_0019_0019__hands [arg1] r_0019_0007__quartz_r_0019_0008__watches quartz watches r_0019_0020__are_r_0019_0021__turned->r_0019_0007__quartz_r_0019_0008__watches with [nim] r_0019_0002__the_r_0019_0004__hand the hand r_0019_0020__are_r_0019_0021__turned->r_0019_0002__the_r_0019_0004__hand On [nim] r_0019_0003__other other r_0019_0002__the_r_0019_0004__hand->r_0019_0003__other [attrib] r_0019_0017__and and r_0019_0017__and->r_0019_0020__are_r_0019_0021__turned [conj2] r_0019_0012__is_r_0019_0013__oscillated is oscillated r_0019_0017__and->r_0019_0012__is_r_0019_0013__oscillated [conj1] r_0019_0012__is_r_0019_0013__oscillated->r_0019_0007__quartz_r_0019_0008__watches with [nim] r_0019_0012__is_r_0019_0013__oscillated->r_0019_0002__the_r_0019_0004__hand On [nim] r_0019_0015__a_r_0019_0016__battery a battery r_0019_0012__is_r_0019_0013__oscillated->r_0019_0015__a_r_0019_0016__battery [arg0] r_0019_0010__the_r_0019_0011__quartz the quartz r_0019_0012__is_r_0019_0013__oscillated->r_0019_0010__the_r_0019_0011__quartz [arg1] 
fof(formula,axiom,
    ? [R_19_17_AND,R_19_12_IS_OSCILLATED,R_19_15_A_BATTERY,R_19_10_THE_QUARTZ,R_19_20_ARE_TURNED,R_19_23_A_MOTOR,R_19_18_THE_HANDS,R_19_2_THE_HAND,R_19_3_OTHER,R_19_7_QUARTZ_WATCHES] :
      ( a_battery(R_19_15_A_BATTERY)
      & the_quartz(R_19_10_THE_QUARTZ)
      & a_motor(R_19_23_A_MOTOR)
      & the_hands(R_19_18_THE_HANDS)
      & other(R_19_3_OTHER)
      & quartz_watches(R_19_7_QUARTZ_WATCHES)
      & and(R_19_17_AND)
      & conj1(R_19_17_AND,R_19_12_IS_OSCILLATED)
      & is_oscillated(R_19_12_IS_OSCILLATED,R_19_15_A_BATTERY,R_19_10_THE_QUARTZ)
      & on_nim5(R_19_12_IS_OSCILLATED,R_19_2_THE_HAND)
      & the_hand(R_19_2_THE_HAND)
      & attrib8(R_19_2_THE_HAND,R_19_3_OTHER)
      & with_nim18(R_19_12_IS_OSCILLATED,R_19_7_QUARTZ_WATCHES)
      & conj2(R_19_17_AND,R_19_20_ARE_TURNED)
      & are_turned(R_19_20_ARE_TURNED,R_19_23_A_MOTOR,R_19_18_THE_HANDS)
      & on_nim5(R_19_20_ARE_TURNED,R_19_2_THE_HAND)
      & with_nim18(R_19_20_ARE_TURNED,R_19_7_QUARTZ_WATCHES) ) ).


n19_a_seiko_9r65 n19_a_seiko_9r65__1_1_1_1 On n19_a_seiko_9r65__1_1_2_1_1 the n19_a_seiko_9r65__1_1_2_2_1_1 other n19_a_seiko_9r65__1_1_2_3_1 hand n19_a_seiko_9r65__1_2_1 , n19_a_seiko_9r65__1_3_1_1 with n19_a_seiko_9r65__1_3_2_1_1 quartz n19_a_seiko_9r65__1_3_2_2_1 watches n19_a_seiko_9r65__1_4_1 , n19_a_seiko_9r65__1_5_1_1_1_1 the n19_a_seiko_9r65__1_5_1_1_2_1 quartz n19_a_seiko_9r65__1_5_1_2_1 is n19_a_seiko_9r65__1_5_1_3_1_1 oscillated n19_a_seiko_9r65__1_5_1_3_2_1_1 by n19_a_seiko_9r65__1_5_1_3_2_2_1_1 a n19_a_seiko_9r65__1_5_1_3_2_2_2_1 battery n19_a_seiko_9r65__1_5_2_1_1 and n19_a_seiko_9r65__1_5_2_2_1_1_1 the n19_a_seiko_9r65__1_5_2_2_1_2_1 hands n19_a_seiko_9r65__1_5_2_2_2_1 are n19_a_seiko_9r65__1_5_2_2_3_1_1 turned n19_a_seiko_9r65__1_5_2_2_3_2_1_1 by n19_a_seiko_9r65__1_5_2_2_3_2_2_1_1 a n19_a_seiko_9r65__1_5_2_2_3_2_2_2_1 motor n19_a_seiko_9r65__1_6_1 . n19_a_seiko_9r65__1 IP-MAT n19_a_seiko_9r65__1_1 PP-NIM n19_a_seiko_9r65__1->n19_a_seiko_9r65__1_1 n19_a_seiko_9r65__1_2 PUNC n19_a_seiko_9r65__1->n19_a_seiko_9r65__1_2 n19_a_seiko_9r65__1_3 PP-NIM n19_a_seiko_9r65__1->n19_a_seiko_9r65__1_3 n19_a_seiko_9r65__1_4 PUNC n19_a_seiko_9r65__1->n19_a_seiko_9r65__1_4 n19_a_seiko_9r65__1_5 ILYR n19_a_seiko_9r65__1->n19_a_seiko_9r65__1_5 n19_a_seiko_9r65__1_6 PUNC n19_a_seiko_9r65__1->n19_a_seiko_9r65__1_6 n19_a_seiko_9r65__1_1_1 P-ROLE n19_a_seiko_9r65__1_1->n19_a_seiko_9r65__1_1_1 n19_a_seiko_9r65__1_1_2 NP n19_a_seiko_9r65__1_1->n19_a_seiko_9r65__1_1_2 n19_a_seiko_9r65__1_1_1->n19_a_seiko_9r65__1_1_1_1 n19_a_seiko_9r65__1_1_2_1 D n19_a_seiko_9r65__1_1_2->n19_a_seiko_9r65__1_1_2_1 n19_a_seiko_9r65__1_1_2_2 ADJP n19_a_seiko_9r65__1_1_2->n19_a_seiko_9r65__1_1_2_2 n19_a_seiko_9r65__1_1_2_3 N n19_a_seiko_9r65__1_1_2->n19_a_seiko_9r65__1_1_2_3 n19_a_seiko_9r65__1_1_2_1->n19_a_seiko_9r65__1_1_2_1_1 n19_a_seiko_9r65__1_1_2_2_1 ADJ n19_a_seiko_9r65__1_1_2_2->n19_a_seiko_9r65__1_1_2_2_1 n19_a_seiko_9r65__1_1_2_2_1->n19_a_seiko_9r65__1_1_2_2_1_1 n19_a_seiko_9r65__1_1_2_3->n19_a_seiko_9r65__1_1_2_3_1 n19_a_seiko_9r65__1_2->n19_a_seiko_9r65__1_2_1 n19_a_seiko_9r65__1_3_1 P-ROLE n19_a_seiko_9r65__1_3->n19_a_seiko_9r65__1_3_1 n19_a_seiko_9r65__1_3_2 NP n19_a_seiko_9r65__1_3->n19_a_seiko_9r65__1_3_2 n19_a_seiko_9r65__1_3_1->n19_a_seiko_9r65__1_3_1_1 n19_a_seiko_9r65__1_3_2_1 N n19_a_seiko_9r65__1_3_2->n19_a_seiko_9r65__1_3_2_1 n19_a_seiko_9r65__1_3_2_2 NS n19_a_seiko_9r65__1_3_2->n19_a_seiko_9r65__1_3_2_2 n19_a_seiko_9r65__1_3_2_1->n19_a_seiko_9r65__1_3_2_1_1 n19_a_seiko_9r65__1_3_2_2->n19_a_seiko_9r65__1_3_2_2_1 n19_a_seiko_9r65__1_4->n19_a_seiko_9r65__1_4_1 n19_a_seiko_9r65__1_5_1 ILYR n19_a_seiko_9r65__1_5->n19_a_seiko_9r65__1_5_1 n19_a_seiko_9r65__1_5_2 CONJP n19_a_seiko_9r65__1_5->n19_a_seiko_9r65__1_5_2 n19_a_seiko_9r65__1_5_1_1 NP-SBJ n19_a_seiko_9r65__1_5_1->n19_a_seiko_9r65__1_5_1_1 n19_a_seiko_9r65__1_5_1_2 BEP;_cat_VePASS_ n19_a_seiko_9r65__1_5_1->n19_a_seiko_9r65__1_5_1_2 n19_a_seiko_9r65__1_5_1_3 IP-PPL-CAT n19_a_seiko_9r65__1_5_1->n19_a_seiko_9r65__1_5_1_3 n19_a_seiko_9r65__1_5_1_1_1 D n19_a_seiko_9r65__1_5_1_1->n19_a_seiko_9r65__1_5_1_1_1 n19_a_seiko_9r65__1_5_1_1_2 N n19_a_seiko_9r65__1_5_1_1->n19_a_seiko_9r65__1_5_1_1_2 n19_a_seiko_9r65__1_5_1_1_1->n19_a_seiko_9r65__1_5_1_1_1_1 n19_a_seiko_9r65__1_5_1_1_2->n19_a_seiko_9r65__1_5_1_1_2_1 n19_a_seiko_9r65__1_5_1_2->n19_a_seiko_9r65__1_5_1_2_1 n19_a_seiko_9r65__1_5_1_3_1 VVN;_Tn_ n19_a_seiko_9r65__1_5_1_3->n19_a_seiko_9r65__1_5_1_3_1 n19_a_seiko_9r65__1_5_1_3_2 PP-LGS n19_a_seiko_9r65__1_5_1_3->n19_a_seiko_9r65__1_5_1_3_2 n19_a_seiko_9r65__1_5_1_3_1->n19_a_seiko_9r65__1_5_1_3_1_1 n19_a_seiko_9r65__1_5_1_3_2_1 P-ROLE;_lgs_ n19_a_seiko_9r65__1_5_1_3_2->n19_a_seiko_9r65__1_5_1_3_2_1 n19_a_seiko_9r65__1_5_1_3_2_2 NP n19_a_seiko_9r65__1_5_1_3_2->n19_a_seiko_9r65__1_5_1_3_2_2 n19_a_seiko_9r65__1_5_1_3_2_1->n19_a_seiko_9r65__1_5_1_3_2_1_1 n19_a_seiko_9r65__1_5_1_3_2_2_1 D n19_a_seiko_9r65__1_5_1_3_2_2->n19_a_seiko_9r65__1_5_1_3_2_2_1 n19_a_seiko_9r65__1_5_1_3_2_2_2 N n19_a_seiko_9r65__1_5_1_3_2_2->n19_a_seiko_9r65__1_5_1_3_2_2_2 n19_a_seiko_9r65__1_5_1_3_2_2_1->n19_a_seiko_9r65__1_5_1_3_2_2_1_1 n19_a_seiko_9r65__1_5_1_3_2_2_2->n19_a_seiko_9r65__1_5_1_3_2_2_2_1 n19_a_seiko_9r65__1_5_2_1 CONJ n19_a_seiko_9r65__1_5_2->n19_a_seiko_9r65__1_5_2_1 n19_a_seiko_9r65__1_5_2_2 ILYR n19_a_seiko_9r65__1_5_2->n19_a_seiko_9r65__1_5_2_2 n19_a_seiko_9r65__1_5_2_1->n19_a_seiko_9r65__1_5_2_1_1 n19_a_seiko_9r65__1_5_2_2_1 NP-SBJ n19_a_seiko_9r65__1_5_2_2->n19_a_seiko_9r65__1_5_2_2_1 n19_a_seiko_9r65__1_5_2_2_2 BEP;_cat_VePASS_ n19_a_seiko_9r65__1_5_2_2->n19_a_seiko_9r65__1_5_2_2_2 n19_a_seiko_9r65__1_5_2_2_3 IP-PPL-CAT n19_a_seiko_9r65__1_5_2_2->n19_a_seiko_9r65__1_5_2_2_3 n19_a_seiko_9r65__1_5_2_2_1_1 D n19_a_seiko_9r65__1_5_2_2_1->n19_a_seiko_9r65__1_5_2_2_1_1 n19_a_seiko_9r65__1_5_2_2_1_2 NS n19_a_seiko_9r65__1_5_2_2_1->n19_a_seiko_9r65__1_5_2_2_1_2 n19_a_seiko_9r65__1_5_2_2_1_1->n19_a_seiko_9r65__1_5_2_2_1_1_1 n19_a_seiko_9r65__1_5_2_2_1_2->n19_a_seiko_9r65__1_5_2_2_1_2_1 n19_a_seiko_9r65__1_5_2_2_2->n19_a_seiko_9r65__1_5_2_2_2_1 n19_a_seiko_9r65__1_5_2_2_3_1 VVN;_Tn_ n19_a_seiko_9r65__1_5_2_2_3->n19_a_seiko_9r65__1_5_2_2_3_1 n19_a_seiko_9r65__1_5_2_2_3_2 PP-LGS n19_a_seiko_9r65__1_5_2_2_3->n19_a_seiko_9r65__1_5_2_2_3_2 n19_a_seiko_9r65__1_5_2_2_3_1->n19_a_seiko_9r65__1_5_2_2_3_1_1 n19_a_seiko_9r65__1_5_2_2_3_2_1 P-ROLE;_lgs_ n19_a_seiko_9r65__1_5_2_2_3_2->n19_a_seiko_9r65__1_5_2_2_3_2_1 n19_a_seiko_9r65__1_5_2_2_3_2_2 NP n19_a_seiko_9r65__1_5_2_2_3_2->n19_a_seiko_9r65__1_5_2_2_3_2_2 n19_a_seiko_9r65__1_5_2_2_3_2_1->n19_a_seiko_9r65__1_5_2_2_3_2_1_1 n19_a_seiko_9r65__1_5_2_2_3_2_2_1 D n19_a_seiko_9r65__1_5_2_2_3_2_2->n19_a_seiko_9r65__1_5_2_2_3_2_2_1 n19_a_seiko_9r65__1_5_2_2_3_2_2_2 N n19_a_seiko_9r65__1_5_2_2_3_2_2->n19_a_seiko_9r65__1_5_2_2_3_2_2_2 n19_a_seiko_9r65__1_5_2_2_3_2_2_1->n19_a_seiko_9r65__1_5_2_2_3_2_2_1_1 n19_a_seiko_9r65__1_5_2_2_3_2_2_2->n19_a_seiko_9r65__1_5_2_2_3_2_2_2_1 n19_a_seiko_9r65__1_6->n19_a_seiko_9r65__1_6_1 
( (IP-MAT (PP-NIM (P-ROLE On;{on})
                  (NP (D the;{the})
                      (ADJP (ADJ other;{other}))
                      (N hand;{hand})))
          (PUNC ,)
          (PP-NIM (P-ROLE with;{with})
                  (NP;{QUARTZ_WATCHES} (N quartz;{quartz})
                                       (NS watches;{watch})))
          (PUNC ,)
          (ILYR (ILYR (NP-SBJ (D the;{the})
                              (N quartz;{quartz}))
                      (BEP;_cat_VePASS_ is;{be})
                      (IP-PPL-CAT (VVN;_Tn_ oscillated;{oscillate})
                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                          (NP (D a;{a})
                                              (N battery;{battery})))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D the;{the})
                                     (NS hands;{hand}))
                             (BEP;_cat_VePASS_ are;{be})
                             (IP-PPL-CAT (VVN;_Tn_ turned;{turn})
                                         (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                 (NP (D a;{a})
                                                     (N motor;{motor})))))))
          (PUNC .))
  (ID 19_a_seiko_9r65))