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_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_r_0019_0013__oscillated is oscillated r_0019_0012__is_r_0019_0013__oscillated->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_0013__oscillated->r_0019_0007__quartz_r_0019_0008__watches with [nim] 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] 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_0017__and and r_0019_0017__and->r_0019_0012__is_r_0019_0013__oscillated [conj1] r_0019_0020__are_r_0019_0021__turned are turned r_0019_0017__and->r_0019_0020__are_r_0019_0021__turned [conj2] r_0019_0020__are_r_0019_0021__turned->r_0019_0002__the_r_0019_0004__hand On [nim] r_0019_0020__are_r_0019_0021__turned->r_0019_0007__quartz_r_0019_0008__watches with [nim] 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_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] 
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_4 On n19_a_seiko_9r65_7 the n19_a_seiko_9r65_10 other n19_a_seiko_9r65_12 hand n19_a_seiko_9r65_14 , n19_a_seiko_9r65_17 with n19_a_seiko_9r65_20 quartz n19_a_seiko_9r65_22 watches n19_a_seiko_9r65_24 , n19_a_seiko_9r65_29 the n19_a_seiko_9r65_31 quartz n19_a_seiko_9r65_33 is n19_a_seiko_9r65_36 oscillated n19_a_seiko_9r65_39 by n19_a_seiko_9r65_42 a n19_a_seiko_9r65_44 battery n19_a_seiko_9r65_47 and n19_a_seiko_9r65_51 the n19_a_seiko_9r65_53 hands n19_a_seiko_9r65_55 are n19_a_seiko_9r65_58 turned n19_a_seiko_9r65_61 by n19_a_seiko_9r65_64 a n19_a_seiko_9r65_66 motor n19_a_seiko_9r65_68 . n19_a_seiko_9r65_1 IP-MAT n19_a_seiko_9r65_2 PP-NIM n19_a_seiko_9r65_1->n19_a_seiko_9r65_2 n19_a_seiko_9r65_13 PUNC n19_a_seiko_9r65_1->n19_a_seiko_9r65_13 n19_a_seiko_9r65_15 PP-NIM n19_a_seiko_9r65_1->n19_a_seiko_9r65_15 n19_a_seiko_9r65_23 PUNC n19_a_seiko_9r65_1->n19_a_seiko_9r65_23 n19_a_seiko_9r65_25 ILYR n19_a_seiko_9r65_1->n19_a_seiko_9r65_25 n19_a_seiko_9r65_67 PUNC n19_a_seiko_9r65_1->n19_a_seiko_9r65_67 n19_a_seiko_9r65_3 P-ROLE n19_a_seiko_9r65_2->n19_a_seiko_9r65_3 n19_a_seiko_9r65_5 NP n19_a_seiko_9r65_2->n19_a_seiko_9r65_5 n19_a_seiko_9r65_3->n19_a_seiko_9r65_4 n19_a_seiko_9r65_6 D n19_a_seiko_9r65_5->n19_a_seiko_9r65_6 n19_a_seiko_9r65_8 ADJP n19_a_seiko_9r65_5->n19_a_seiko_9r65_8 n19_a_seiko_9r65_11 N n19_a_seiko_9r65_5->n19_a_seiko_9r65_11 n19_a_seiko_9r65_6->n19_a_seiko_9r65_7 n19_a_seiko_9r65_9 ADJ n19_a_seiko_9r65_8->n19_a_seiko_9r65_9 n19_a_seiko_9r65_9->n19_a_seiko_9r65_10 n19_a_seiko_9r65_11->n19_a_seiko_9r65_12 n19_a_seiko_9r65_13->n19_a_seiko_9r65_14 n19_a_seiko_9r65_16 P-ROLE n19_a_seiko_9r65_15->n19_a_seiko_9r65_16 n19_a_seiko_9r65_18 NP n19_a_seiko_9r65_15->n19_a_seiko_9r65_18 n19_a_seiko_9r65_16->n19_a_seiko_9r65_17 n19_a_seiko_9r65_19 N n19_a_seiko_9r65_18->n19_a_seiko_9r65_19 n19_a_seiko_9r65_21 NS n19_a_seiko_9r65_18->n19_a_seiko_9r65_21 n19_a_seiko_9r65_19->n19_a_seiko_9r65_20 n19_a_seiko_9r65_21->n19_a_seiko_9r65_22 n19_a_seiko_9r65_23->n19_a_seiko_9r65_24 n19_a_seiko_9r65_26 ILYR n19_a_seiko_9r65_25->n19_a_seiko_9r65_26 n19_a_seiko_9r65_45 CONJP n19_a_seiko_9r65_25->n19_a_seiko_9r65_45 n19_a_seiko_9r65_27 NP-SBJ n19_a_seiko_9r65_26->n19_a_seiko_9r65_27 n19_a_seiko_9r65_32 BEP;_cat_VePASS_ n19_a_seiko_9r65_26->n19_a_seiko_9r65_32 n19_a_seiko_9r65_34 IP-PPL-CAT n19_a_seiko_9r65_26->n19_a_seiko_9r65_34 n19_a_seiko_9r65_28 D n19_a_seiko_9r65_27->n19_a_seiko_9r65_28 n19_a_seiko_9r65_30 N n19_a_seiko_9r65_27->n19_a_seiko_9r65_30 n19_a_seiko_9r65_28->n19_a_seiko_9r65_29 n19_a_seiko_9r65_30->n19_a_seiko_9r65_31 n19_a_seiko_9r65_32->n19_a_seiko_9r65_33 n19_a_seiko_9r65_35 VVN;_Tn_ n19_a_seiko_9r65_34->n19_a_seiko_9r65_35 n19_a_seiko_9r65_37 PP-LGS n19_a_seiko_9r65_34->n19_a_seiko_9r65_37 n19_a_seiko_9r65_35->n19_a_seiko_9r65_36 n19_a_seiko_9r65_38 P-ROLE;_lgs_ n19_a_seiko_9r65_37->n19_a_seiko_9r65_38 n19_a_seiko_9r65_40 NP n19_a_seiko_9r65_37->n19_a_seiko_9r65_40 n19_a_seiko_9r65_38->n19_a_seiko_9r65_39 n19_a_seiko_9r65_41 D n19_a_seiko_9r65_40->n19_a_seiko_9r65_41 n19_a_seiko_9r65_43 N n19_a_seiko_9r65_40->n19_a_seiko_9r65_43 n19_a_seiko_9r65_41->n19_a_seiko_9r65_42 n19_a_seiko_9r65_43->n19_a_seiko_9r65_44 n19_a_seiko_9r65_46 CONJ n19_a_seiko_9r65_45->n19_a_seiko_9r65_46 n19_a_seiko_9r65_48 ILYR n19_a_seiko_9r65_45->n19_a_seiko_9r65_48 n19_a_seiko_9r65_46->n19_a_seiko_9r65_47 n19_a_seiko_9r65_49 NP-SBJ n19_a_seiko_9r65_48->n19_a_seiko_9r65_49 n19_a_seiko_9r65_54 BEP;_cat_VePASS_ n19_a_seiko_9r65_48->n19_a_seiko_9r65_54 n19_a_seiko_9r65_56 IP-PPL-CAT n19_a_seiko_9r65_48->n19_a_seiko_9r65_56 n19_a_seiko_9r65_50 D n19_a_seiko_9r65_49->n19_a_seiko_9r65_50 n19_a_seiko_9r65_52 NS n19_a_seiko_9r65_49->n19_a_seiko_9r65_52 n19_a_seiko_9r65_50->n19_a_seiko_9r65_51 n19_a_seiko_9r65_52->n19_a_seiko_9r65_53 n19_a_seiko_9r65_54->n19_a_seiko_9r65_55 n19_a_seiko_9r65_57 VVN;_Tn_ n19_a_seiko_9r65_56->n19_a_seiko_9r65_57 n19_a_seiko_9r65_59 PP-LGS n19_a_seiko_9r65_56->n19_a_seiko_9r65_59 n19_a_seiko_9r65_57->n19_a_seiko_9r65_58 n19_a_seiko_9r65_60 P-ROLE;_lgs_ n19_a_seiko_9r65_59->n19_a_seiko_9r65_60 n19_a_seiko_9r65_62 NP n19_a_seiko_9r65_59->n19_a_seiko_9r65_62 n19_a_seiko_9r65_60->n19_a_seiko_9r65_61 n19_a_seiko_9r65_63 D n19_a_seiko_9r65_62->n19_a_seiko_9r65_63 n19_a_seiko_9r65_65 N n19_a_seiko_9r65_62->n19_a_seiko_9r65_65 n19_a_seiko_9r65_63->n19_a_seiko_9r65_64 n19_a_seiko_9r65_65->n19_a_seiko_9r65_66 n19_a_seiko_9r65_67->n19_a_seiko_9r65_68 
( (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))