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 z_000_54_a_seiko_9r65_39 r_0054_0015__mechanism mechanism z_000_54_a_seiko_9r65_39->r_0054_0015__mechanism [prd] r_0054_0009__the_r_0054_0013__unit the unit z_000_54_a_seiko_9r65_39->r_0054_0009__the_r_0054_0013__unit [arg0] r_0054_0017__controlling controlling r_0054_0015__mechanism->r_0054_0017__controlling for z_000_54_a_seiko_9r65_46 r_0054_0017__controlling->z_000_54_a_seiko_9r65_46 [arg0] r_0054_0018__accuracy accuracy r_0054_0017__controlling->r_0054_0018__accuracy [arg1] 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_0004__the_r_0054_0006__watch the watch r_0054_0005__mechanical mechanical r_0054_0004__the_r_0054_0006__watch->r_0054_0005__mechanical [attrib] r_0054_0002__differs differs r_0054_0002__differs->r_0054_0009__the_r_0054_0013__unit in [nim] 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_0001__It It r_0054_0002__differs->r_0054_0001__It [arg0] 
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__1_1_1_1 It n54_a_seiko_9r65__1_2_1 differs n54_a_seiko_9r65__1_3_1_1 from n54_a_seiko_9r65__1_3_2_1_1 the n54_a_seiko_9r65__1_3_2_2_1_1 mechanical n54_a_seiko_9r65__1_3_2_3_1 watch n54_a_seiko_9r65__1_4_1_1 only n54_a_seiko_9r65__1_5_1_1 in n54_a_seiko_9r65__1_5_2_1_1 the n54_a_seiko_9r65__1_5_2_2_1_1_1 speed n54_a_seiko_9r65__1_5_2_2_2_1 - n54_a_seiko_9r65__1_5_2_2_3_1 regulating n54_a_seiko_9r65__1_5_2_3_1 unit n54_a_seiko_9r65__1_5_2_4_1 -LRB- n54_a_seiko_9r65__1_5_2_5_1_1_1 mechanism n54_a_seiko_9r65__1_5_2_5_1_2_1_1 for n54_a_seiko_9r65__1_5_2_5_1_2_2_1_1 controlling n54_a_seiko_9r65__1_5_2_5_1_2_2_2_1_1 accuracy n54_a_seiko_9r65__1_5_2_6_1 -RRB- n54_a_seiko_9r65__1_6_1 . n54_a_seiko_9r65__1 IP-MAT n54_a_seiko_9r65__1_1 NP-SBJ n54_a_seiko_9r65__1->n54_a_seiko_9r65__1_1 n54_a_seiko_9r65__1_2 VBP;_Ipr_ n54_a_seiko_9r65__1->n54_a_seiko_9r65__1_2 n54_a_seiko_9r65__1_3 PP-CLR n54_a_seiko_9r65__1->n54_a_seiko_9r65__1_3 n54_a_seiko_9r65__1_4 ADVP-NIM n54_a_seiko_9r65__1->n54_a_seiko_9r65__1_4 n54_a_seiko_9r65__1_5 PP-NIM n54_a_seiko_9r65__1->n54_a_seiko_9r65__1_5 n54_a_seiko_9r65__1_6 PUNC n54_a_seiko_9r65__1->n54_a_seiko_9r65__1_6 n54_a_seiko_9r65__1_1_1 PRO n54_a_seiko_9r65__1_1->n54_a_seiko_9r65__1_1_1 n54_a_seiko_9r65__1_1_1->n54_a_seiko_9r65__1_1_1_1 n54_a_seiko_9r65__1_2->n54_a_seiko_9r65__1_2_1 n54_a_seiko_9r65__1_3_1 P-ROLE n54_a_seiko_9r65__1_3->n54_a_seiko_9r65__1_3_1 n54_a_seiko_9r65__1_3_2 NP n54_a_seiko_9r65__1_3->n54_a_seiko_9r65__1_3_2 n54_a_seiko_9r65__1_3_1->n54_a_seiko_9r65__1_3_1_1 n54_a_seiko_9r65__1_3_2_1 D n54_a_seiko_9r65__1_3_2->n54_a_seiko_9r65__1_3_2_1 n54_a_seiko_9r65__1_3_2_2 ADJP n54_a_seiko_9r65__1_3_2->n54_a_seiko_9r65__1_3_2_2 n54_a_seiko_9r65__1_3_2_3 N n54_a_seiko_9r65__1_3_2->n54_a_seiko_9r65__1_3_2_3 n54_a_seiko_9r65__1_3_2_1->n54_a_seiko_9r65__1_3_2_1_1 n54_a_seiko_9r65__1_3_2_2_1 ADJ n54_a_seiko_9r65__1_3_2_2->n54_a_seiko_9r65__1_3_2_2_1 n54_a_seiko_9r65__1_3_2_2_1->n54_a_seiko_9r65__1_3_2_2_1_1 n54_a_seiko_9r65__1_3_2_3->n54_a_seiko_9r65__1_3_2_3_1 n54_a_seiko_9r65__1_4_1 ADV n54_a_seiko_9r65__1_4->n54_a_seiko_9r65__1_4_1 n54_a_seiko_9r65__1_4_1->n54_a_seiko_9r65__1_4_1_1 n54_a_seiko_9r65__1_5_1 P-ROLE n54_a_seiko_9r65__1_5->n54_a_seiko_9r65__1_5_1 n54_a_seiko_9r65__1_5_2 NP n54_a_seiko_9r65__1_5->n54_a_seiko_9r65__1_5_2 n54_a_seiko_9r65__1_5_1->n54_a_seiko_9r65__1_5_1_1 n54_a_seiko_9r65__1_5_2_1 D n54_a_seiko_9r65__1_5_2->n54_a_seiko_9r65__1_5_2_1 n54_a_seiko_9r65__1_5_2_2 IP-PPL n54_a_seiko_9r65__1_5_2->n54_a_seiko_9r65__1_5_2_2 n54_a_seiko_9r65__1_5_2_3 N n54_a_seiko_9r65__1_5_2->n54_a_seiko_9r65__1_5_2_3 n54_a_seiko_9r65__1_5_2_4 PULB n54_a_seiko_9r65__1_5_2->n54_a_seiko_9r65__1_5_2_4 n54_a_seiko_9r65__1_5_2_5 IP-PPL n54_a_seiko_9r65__1_5_2->n54_a_seiko_9r65__1_5_2_5 n54_a_seiko_9r65__1_5_2_6 PURB n54_a_seiko_9r65__1_5_2->n54_a_seiko_9r65__1_5_2_6 n54_a_seiko_9r65__1_5_2_1->n54_a_seiko_9r65__1_5_2_1_1 n54_a_seiko_9r65__1_5_2_2_1 NP-OB1 n54_a_seiko_9r65__1_5_2_2->n54_a_seiko_9r65__1_5_2_2_1 n54_a_seiko_9r65__1_5_2_2_2 PUNC n54_a_seiko_9r65__1_5_2_2->n54_a_seiko_9r65__1_5_2_2_2 n54_a_seiko_9r65__1_5_2_2_3 VAG;_I_ n54_a_seiko_9r65__1_5_2_2->n54_a_seiko_9r65__1_5_2_2_3 n54_a_seiko_9r65__1_5_2_2_1_1 N n54_a_seiko_9r65__1_5_2_2_1->n54_a_seiko_9r65__1_5_2_2_1_1 n54_a_seiko_9r65__1_5_2_2_1_1->n54_a_seiko_9r65__1_5_2_2_1_1_1 n54_a_seiko_9r65__1_5_2_2_2->n54_a_seiko_9r65__1_5_2_2_2_1 n54_a_seiko_9r65__1_5_2_2_3->n54_a_seiko_9r65__1_5_2_2_3_1 n54_a_seiko_9r65__1_5_2_3->n54_a_seiko_9r65__1_5_2_3_1 n54_a_seiko_9r65__1_5_2_4->n54_a_seiko_9r65__1_5_2_4_1 n54_a_seiko_9r65__1_5_2_5_1 NP-PRD n54_a_seiko_9r65__1_5_2_5->n54_a_seiko_9r65__1_5_2_5_1 n54_a_seiko_9r65__1_5_2_5_1_1 N n54_a_seiko_9r65__1_5_2_5_1->n54_a_seiko_9r65__1_5_2_5_1_1 n54_a_seiko_9r65__1_5_2_5_1_2 PP n54_a_seiko_9r65__1_5_2_5_1->n54_a_seiko_9r65__1_5_2_5_1_2 n54_a_seiko_9r65__1_5_2_5_1_1->n54_a_seiko_9r65__1_5_2_5_1_1_1 n54_a_seiko_9r65__1_5_2_5_1_2_1 P-ROLE n54_a_seiko_9r65__1_5_2_5_1_2->n54_a_seiko_9r65__1_5_2_5_1_2_1 n54_a_seiko_9r65__1_5_2_5_1_2_2 IP-PPL n54_a_seiko_9r65__1_5_2_5_1_2->n54_a_seiko_9r65__1_5_2_5_1_2_2 n54_a_seiko_9r65__1_5_2_5_1_2_1->n54_a_seiko_9r65__1_5_2_5_1_2_1_1 n54_a_seiko_9r65__1_5_2_5_1_2_2_1 VAG;_Tn_ n54_a_seiko_9r65__1_5_2_5_1_2_2->n54_a_seiko_9r65__1_5_2_5_1_2_2_1 n54_a_seiko_9r65__1_5_2_5_1_2_2_2 NP-OB1 n54_a_seiko_9r65__1_5_2_5_1_2_2->n54_a_seiko_9r65__1_5_2_5_1_2_2_2 n54_a_seiko_9r65__1_5_2_5_1_2_2_1->n54_a_seiko_9r65__1_5_2_5_1_2_2_1_1 n54_a_seiko_9r65__1_5_2_5_1_2_2_2_1 N n54_a_seiko_9r65__1_5_2_5_1_2_2_2->n54_a_seiko_9r65__1_5_2_5_1_2_2_2_1 n54_a_seiko_9r65__1_5_2_5_1_2_2_2_1->n54_a_seiko_9r65__1_5_2_5_1_2_2_2_1_1 n54_a_seiko_9r65__1_5_2_6->n54_a_seiko_9r65__1_5_2_6_1 n54_a_seiko_9r65__1_6->n54_a_seiko_9r65__1_6_1 
( (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))