Context                Previous, Next                Top


54_a_seiko_9r65
It differs from the mechanical watch only in the speed - regulating unit (mechanism for controlling accuracy).

%3 r_0054_0002__differs differs r_0054_0001__It It r_0054_0002__differs->r_0054_0001__It [arg0] r_0054_0004__the_r_0054_0006__watch the watch r_0054_0002__differs->r_0054_0004__the_r_0054_0006__watch from [clr] r_0054_0007__only only r_0054_0002__differs->r_0054_0007__only [nim] r_0054_0009__the_r_0054_0013__unit the unit r_0054_0002__differs->r_0054_0009__the_r_0054_0013__unit in [nim] r_0054_0005__mechanical mechanical r_0054_0004__the_r_0054_0006__watch->r_0054_0005__mechanical [attrib] r_0054_0012__regulating regulating r_0054_0012__regulating->r_0054_0009__the_r_0054_0013__unit [arg0] r_0054_0010__speed speed r_0054_0012__regulating->r_0054_0010__speed [arg1] r_0054_0015__mechanism mechanism r_0054_0017__controlling controlling r_0054_0015__mechanism->r_0054_0017__controlling for r_0054_0018__accuracy accuracy r_0054_0017__controlling->r_0054_0018__accuracy [arg1] z_000_54_a_seiko_9r65_46 r_0054_0017__controlling->z_000_54_a_seiko_9r65_46 [arg0] z_000_54_a_seiko_9r65_39 z_000_54_a_seiko_9r65_39->r_0054_0009__the_r_0054_0013__unit [arg0] z_000_54_a_seiko_9r65_39->r_0054_0015__mechanism [prd] 
arc(r_0054_0002__differs, r_0054_0001__It, arg0).
arc(r_0054_0002__differs, r_0054_0004__the_r_0054_0006__watch, r_0054_0003__from_clr10).
arc(r_0054_0002__differs, r_0054_0007__only, nim18).
arc(r_0054_0002__differs, r_0054_0009__the_r_0054_0013__unit, r_0054_0008__in_nim24).
arc(r_0054_0004__the_r_0054_0006__watch, r_0054_0005__mechanical, attrib13).
arc(r_0054_0012__regulating, r_0054_0009__the_r_0054_0013__unit, arg0).
arc(r_0054_0012__regulating, r_0054_0010__speed, arg1).
arc(r_0054_0015__mechanism, r_0054_0017__controlling, r_0054_0016__for).
arc(r_0054_0017__controlling, r_0054_0018__accuracy, arg1).
arc(r_0054_0017__controlling, z_000_54_a_seiko_9r65_46, arg0).
arc(z_000_54_a_seiko_9r65_39, r_0054_0009__the_r_0054_0013__unit, arg0).
arc(z_000_54_a_seiko_9r65_39, r_0054_0015__mechanism, prd).


%3 r_0054_0002__differs differs r_0054_0001__It It r_0054_0002__differs->r_0054_0001__It [arg0] r_0054_0004__the_r_0054_0006__watch the watch r_0054_0002__differs->r_0054_0004__the_r_0054_0006__watch from [clr] r_0054_0007__only only r_0054_0002__differs->r_0054_0007__only [nim] r_0054_0009__the_r_0054_0013__unit the unit r_0054_0002__differs->r_0054_0009__the_r_0054_0013__unit in [nim] r_0054_0005__mechanical mechanical r_0054_0004__the_r_0054_0006__watch->r_0054_0005__mechanical [attrib] r_0054_0012__regulating regulating r_0054_0012__regulating->r_0054_0009__the_r_0054_0013__unit [arg0] r_0054_0010__speed speed r_0054_0012__regulating->r_0054_0010__speed [arg1] r_0054_0015__mechanism mechanism r_0054_0017__controlling controlling r_0054_0015__mechanism->r_0054_0017__controlling for r_0054_0018__accuracy accuracy r_0054_0017__controlling->r_0054_0018__accuracy [arg1] z_000_54_a_seiko_9r65_46 r_0054_0017__controlling->z_000_54_a_seiko_9r65_46 [arg0] z_000_54_a_seiko_9r65_39 z_000_54_a_seiko_9r65_39->r_0054_0009__the_r_0054_0013__unit [arg0] z_000_54_a_seiko_9r65_39->r_0054_0015__mechanism [prd] 
fof(formula,axiom,
    ? [R_54_2_DIFFERS,R_54_1_IT,R_54_7_ONLY,R_54_4_THE_WATCH,R_54_5_MECHANICAL,R_54_12_REGULATING,R_54_10_SPEED,Z_54_A_SEIKO_9R65_39,R_54_9_THE_UNIT,R_54_15_MECHANISM,R_54_17_CONTROLLING,Z_54_A_SEIKO_9R65_46,R_54_18_ACCURACY] :
      ( it(R_54_1_IT)
      & only(R_54_7_ONLY)
      & mechanical(R_54_5_MECHANICAL)
      & speed(R_54_10_SPEED)
      & the_unit(R_54_9_THE_UNIT)
      & accuracy(R_54_18_ACCURACY)
      & differs(R_54_2_DIFFERS,R_54_1_IT)
      & nim18(R_54_2_DIFFERS,R_54_7_ONLY)
      & from_clr10(R_54_2_DIFFERS,R_54_4_THE_WATCH)
      & the_watch(R_54_4_THE_WATCH)
      & attrib13(R_54_4_THE_WATCH,R_54_5_MECHANICAL)
      & in_nim24(R_54_2_DIFFERS,R_54_9_THE_UNIT)
      & regulating(R_54_12_REGULATING,R_54_9_THE_UNIT,R_54_10_SPEED)
      & z_54_a_seiko_9r65_39(Z_54_A_SEIKO_9R65_39,R_54_9_THE_UNIT,R_54_15_MECHANISM)
      & mechanism(R_54_15_MECHANISM)
      & for(R_54_15_MECHANISM,R_54_17_CONTROLLING)
      & controlling(R_54_17_CONTROLLING,Z_54_A_SEIKO_9R65_46,R_54_18_ACCURACY) ) ).


n54_a_seiko_9r65 n54_a_seiko_9r65_4 It n54_a_seiko_9r65_6 differs n54_a_seiko_9r65_9 from n54_a_seiko_9r65_12 the n54_a_seiko_9r65_15 mechanical n54_a_seiko_9r65_17 watch n54_a_seiko_9r65_20 only n54_a_seiko_9r65_23 in n54_a_seiko_9r65_26 the n54_a_seiko_9r65_30 speed n54_a_seiko_9r65_32 - n54_a_seiko_9r65_34 regulating n54_a_seiko_9r65_36 unit n54_a_seiko_9r65_38 -LRB- n54_a_seiko_9r65_42 mechanism n54_a_seiko_9r65_45 for n54_a_seiko_9r65_48 controlling n54_a_seiko_9r65_51 accuracy n54_a_seiko_9r65_53 -RRB- n54_a_seiko_9r65_55 . n54_a_seiko_9r65_1 IP-MAT n54_a_seiko_9r65_2 NP-SBJ n54_a_seiko_9r65_1->n54_a_seiko_9r65_2 n54_a_seiko_9r65_5 VBP;_Ipr_ n54_a_seiko_9r65_1->n54_a_seiko_9r65_5 n54_a_seiko_9r65_7 PP-CLR n54_a_seiko_9r65_1->n54_a_seiko_9r65_7 n54_a_seiko_9r65_18 ADVP-NIM n54_a_seiko_9r65_1->n54_a_seiko_9r65_18 n54_a_seiko_9r65_21 PP-NIM n54_a_seiko_9r65_1->n54_a_seiko_9r65_21 n54_a_seiko_9r65_54 PUNC n54_a_seiko_9r65_1->n54_a_seiko_9r65_54 n54_a_seiko_9r65_3 PRO n54_a_seiko_9r65_2->n54_a_seiko_9r65_3 n54_a_seiko_9r65_3->n54_a_seiko_9r65_4 n54_a_seiko_9r65_5->n54_a_seiko_9r65_6 n54_a_seiko_9r65_8 P-ROLE n54_a_seiko_9r65_7->n54_a_seiko_9r65_8 n54_a_seiko_9r65_10 NP n54_a_seiko_9r65_7->n54_a_seiko_9r65_10 n54_a_seiko_9r65_8->n54_a_seiko_9r65_9 n54_a_seiko_9r65_11 D n54_a_seiko_9r65_10->n54_a_seiko_9r65_11 n54_a_seiko_9r65_13 ADJP n54_a_seiko_9r65_10->n54_a_seiko_9r65_13 n54_a_seiko_9r65_16 N n54_a_seiko_9r65_10->n54_a_seiko_9r65_16 n54_a_seiko_9r65_11->n54_a_seiko_9r65_12 n54_a_seiko_9r65_14 ADJ n54_a_seiko_9r65_13->n54_a_seiko_9r65_14 n54_a_seiko_9r65_14->n54_a_seiko_9r65_15 n54_a_seiko_9r65_16->n54_a_seiko_9r65_17 n54_a_seiko_9r65_19 ADV n54_a_seiko_9r65_18->n54_a_seiko_9r65_19 n54_a_seiko_9r65_19->n54_a_seiko_9r65_20 n54_a_seiko_9r65_22 P-ROLE n54_a_seiko_9r65_21->n54_a_seiko_9r65_22 n54_a_seiko_9r65_24 NP n54_a_seiko_9r65_21->n54_a_seiko_9r65_24 n54_a_seiko_9r65_22->n54_a_seiko_9r65_23 n54_a_seiko_9r65_25 D n54_a_seiko_9r65_24->n54_a_seiko_9r65_25 n54_a_seiko_9r65_27 IP-PPL n54_a_seiko_9r65_24->n54_a_seiko_9r65_27 n54_a_seiko_9r65_35 N n54_a_seiko_9r65_24->n54_a_seiko_9r65_35 n54_a_seiko_9r65_37 PULB n54_a_seiko_9r65_24->n54_a_seiko_9r65_37 n54_a_seiko_9r65_39 IP-PPL n54_a_seiko_9r65_24->n54_a_seiko_9r65_39 n54_a_seiko_9r65_52 PURB n54_a_seiko_9r65_24->n54_a_seiko_9r65_52 n54_a_seiko_9r65_25->n54_a_seiko_9r65_26 n54_a_seiko_9r65_28 NP-OB1 n54_a_seiko_9r65_27->n54_a_seiko_9r65_28 n54_a_seiko_9r65_31 PUNC n54_a_seiko_9r65_27->n54_a_seiko_9r65_31 n54_a_seiko_9r65_33 VAG;_I_ n54_a_seiko_9r65_27->n54_a_seiko_9r65_33 n54_a_seiko_9r65_29 N n54_a_seiko_9r65_28->n54_a_seiko_9r65_29 n54_a_seiko_9r65_29->n54_a_seiko_9r65_30 n54_a_seiko_9r65_31->n54_a_seiko_9r65_32 n54_a_seiko_9r65_33->n54_a_seiko_9r65_34 n54_a_seiko_9r65_35->n54_a_seiko_9r65_36 n54_a_seiko_9r65_37->n54_a_seiko_9r65_38 n54_a_seiko_9r65_40 NP-PRD n54_a_seiko_9r65_39->n54_a_seiko_9r65_40 n54_a_seiko_9r65_41 N n54_a_seiko_9r65_40->n54_a_seiko_9r65_41 n54_a_seiko_9r65_43 PP n54_a_seiko_9r65_40->n54_a_seiko_9r65_43 n54_a_seiko_9r65_41->n54_a_seiko_9r65_42 n54_a_seiko_9r65_44 P-ROLE n54_a_seiko_9r65_43->n54_a_seiko_9r65_44 n54_a_seiko_9r65_46 IP-PPL n54_a_seiko_9r65_43->n54_a_seiko_9r65_46 n54_a_seiko_9r65_44->n54_a_seiko_9r65_45 n54_a_seiko_9r65_47 VAG;_Tn_ n54_a_seiko_9r65_46->n54_a_seiko_9r65_47 n54_a_seiko_9r65_49 NP-OB1 n54_a_seiko_9r65_46->n54_a_seiko_9r65_49 n54_a_seiko_9r65_47->n54_a_seiko_9r65_48 n54_a_seiko_9r65_50 N n54_a_seiko_9r65_49->n54_a_seiko_9r65_50 n54_a_seiko_9r65_50->n54_a_seiko_9r65_51 n54_a_seiko_9r65_52->n54_a_seiko_9r65_53 n54_a_seiko_9r65_54->n54_a_seiko_9r65_55 
( (IP-MAT (NP-SBJ;{SPRING_DRIVE} (PRO It;{it}))
          (VBP;_Ipr_ differs;{differ[from]})
          (PP-CLR (P-ROLE from;{from})
                  (NP (D the;{the})
                      (ADJP (ADJ mechanical;{mechanical}))
                      (N watch;{watch})))
          (ADVP-NIM (ADV only;{only}))
          (PP-NIM (P-ROLE in;{in})
                  (NP (D the;{the})
                      (IP-PPL (NP-OB1 (N speed;{speed}))
                              (PUNC <hyphen>)
                              (VAG;_I_ regulating;{regulate}))
                      (N unit;{unit})
                      (PULB -LRB-)
                      (IP-PPL (NP-PRD (N mechanism;{mechanism})
                                      (PP (P-ROLE for;{for})
                                          (IP-PPL (VAG;_Tn_ controlling;{control})
                                                  (NP-OB1 (N accuracy;{accuracy}))))))
                      (PURB -RRB-)))
          (PUNC .))
  (ID 54_a_seiko_9r65))