Context                Previous, Next                Top


86_a_seiko_9r65
<white circle> The movement of this watch has a structure that consistent pressure is applied on its power - transmitting wheels.

%3 r_0086_0001___white_circle__r_0086_0007__has white circle  has r_0086_0002__The_r_0086_0003__movement The movement r_0086_0001___white_circle__r_0086_0007__has->r_0086_0002__The_r_0086_0003__movement [arg0] r_0086_0008__a_r_0086_0009__structure a structure r_0086_0001___white_circle__r_0086_0007__has->r_0086_0008__a_r_0086_0009__structure [arg1] r_0086_0005__this_r_0086_0006__watch this watch r_0086_0002__The_r_0086_0003__movement->r_0086_0005__this_r_0086_0006__watch of r_0086_0010__that_r_0086_0013__is that is r_0086_0010__that_r_0086_0013__is->r_0086_0008__a_r_0086_0009__structure [nim] r_0086_0014__applied applied r_0086_0010__that_r_0086_0013__is->r_0086_0014__applied [scope] r_0086_0012__pressure pressure r_0086_0014__applied->r_0086_0012__pressure [arg1] r_0086_0020__wheels wheels r_0086_0014__applied->r_0086_0020__wheels on [nim] z_000_86_a_seiko_9r65_38 r_0086_0014__applied->z_000_86_a_seiko_9r65_38 [arg0] r_0086_0011__consistent consistent r_0086_0012__pressure->r_0086_0011__consistent [attrib] r_0086_0020__wheels->r_0086_0005__this_r_0086_0006__watch [gen] r_0086_0019__transmitting transmitting r_0086_0019__transmitting->r_0086_0020__wheels [arg0] r_0086_0017__power power r_0086_0019__transmitting->r_0086_0017__power [arg1] 
arc(r_0086_0001___white_circle__r_0086_0007__has, r_0086_0002__The_r_0086_0003__movement, arg0).
arc(r_0086_0001___white_circle__r_0086_0007__has, r_0086_0008__a_r_0086_0009__structure, arg1).
arc(r_0086_0002__The_r_0086_0003__movement, r_0086_0005__this_r_0086_0006__watch, r_0086_0004__of).
arc(r_0086_0010__that_r_0086_0013__is, r_0086_0008__a_r_0086_0009__structure, nim27).
arc(r_0086_0010__that_r_0086_0013__is, r_0086_0014__applied, scope).
arc(r_0086_0012__pressure, r_0086_0011__consistent, attrib30).
arc(r_0086_0014__applied, r_0086_0012__pressure, arg1).
arc(r_0086_0014__applied, r_0086_0020__wheels, r_0086_0015__on_nim45).
arc(r_0086_0014__applied, z_000_86_a_seiko_9r65_38, arg0).
arc(r_0086_0019__transmitting, r_0086_0017__power, arg1).
arc(r_0086_0019__transmitting, r_0086_0020__wheels, arg0).
arc(r_0086_0020__wheels, r_0086_0005__this_r_0086_0006__watch, gen).


%3 r_0086_0001___white_circle__r_0086_0007__has white circle  has r_0086_0002__The_r_0086_0003__movement The movement r_0086_0001___white_circle__r_0086_0007__has->r_0086_0002__The_r_0086_0003__movement [arg0] r_0086_0008__a_r_0086_0009__structure a structure r_0086_0001___white_circle__r_0086_0007__has->r_0086_0008__a_r_0086_0009__structure [arg1] r_0086_0005__this_r_0086_0006__watch this watch r_0086_0002__The_r_0086_0003__movement->r_0086_0005__this_r_0086_0006__watch of r_0086_0010__that_r_0086_0013__is_r_0086_0014__applied that is applied r_0086_0010__that_r_0086_0013__is_r_0086_0014__applied->r_0086_0008__a_r_0086_0009__structure [nim] r_0086_0012__pressure pressure r_0086_0010__that_r_0086_0013__is_r_0086_0014__applied->r_0086_0012__pressure [arg1] r_0086_0020__wheels wheels r_0086_0010__that_r_0086_0013__is_r_0086_0014__applied->r_0086_0020__wheels on [nim] z_000_86_a_seiko_9r65_38 r_0086_0010__that_r_0086_0013__is_r_0086_0014__applied->z_000_86_a_seiko_9r65_38 [arg0] r_0086_0011__consistent consistent r_0086_0012__pressure->r_0086_0011__consistent [attrib] r_0086_0020__wheels->r_0086_0005__this_r_0086_0006__watch [gen] r_0086_0019__transmitting transmitting r_0086_0019__transmitting->r_0086_0020__wheels [arg0] r_0086_0017__power power r_0086_0019__transmitting->r_0086_0017__power [arg1] 
fof(formula,axiom,
    ? [R_86_1__WHITE_CIRCLE_HAS,R_86_2_THE_MOVEMENT,R_86_10_THAT_IS_APPLIED,Z_86_A_SEIKO_9R65_38,R_86_12_PRESSURE,R_86_11_CONSISTENT,R_86_8_A_STRUCTURE,R_86_19_TRANSMITTING,R_86_20_WHEELS,R_86_5_THIS_WATCH,R_86_17_POWER] :
      ( consistent(R_86_11_CONSISTENT)
      & a_structure(R_86_8_A_STRUCTURE)
      & this_watch(R_86_5_THIS_WATCH)
      & power(R_86_17_POWER)
      & _white_circle_has(R_86_1__WHITE_CIRCLE_HAS,R_86_2_THE_MOVEMENT,R_86_8_A_STRUCTURE)
      & the_movement(R_86_2_THE_MOVEMENT)
      & of(R_86_2_THE_MOVEMENT,R_86_5_THIS_WATCH)
      & that_is_applied(R_86_10_THAT_IS_APPLIED,Z_86_A_SEIKO_9R65_38,R_86_12_PRESSURE)
      & pressure(R_86_12_PRESSURE)
      & attrib30(R_86_12_PRESSURE,R_86_11_CONSISTENT)
      & nim27(R_86_10_THAT_IS_APPLIED,R_86_8_A_STRUCTURE)
      & on_nim45(R_86_10_THAT_IS_APPLIED,R_86_20_WHEELS)
      & wheels(R_86_20_WHEELS)
      & gen(R_86_20_WHEELS,R_86_5_THIS_WATCH)
      & transmitting(R_86_19_TRANSMITTING,R_86_20_WHEELS,R_86_17_POWER) ) ).


n86_a_seiko_9r65 n86_a_seiko_9r65_3 <white_circle> n86_a_seiko_9r65_6 The n86_a_seiko_9r65_8 movement n86_a_seiko_9r65_11 of n86_a_seiko_9r65_14 this n86_a_seiko_9r65_16 watch n86_a_seiko_9r65_18 has n86_a_seiko_9r65_21 a n86_a_seiko_9r65_23 structure n86_a_seiko_9r65_26 that n86_a_seiko_9r65_28 *T* n86_a_seiko_9r65_32 consistent n86_a_seiko_9r65_34 pressure n86_a_seiko_9r65_36 is n86_a_seiko_9r65_39 * n86_a_seiko_9r65_41 applied n86_a_seiko_9r65_44 on n86_a_seiko_9r65_48 its n86_a_seiko_9r65_52 power n86_a_seiko_9r65_54 - n86_a_seiko_9r65_56 transmitting n86_a_seiko_9r65_58 wheels n86_a_seiko_9r65_60 . n86_a_seiko_9r65_1 IP-MAT n86_a_seiko_9r65_2 SYM n86_a_seiko_9r65_1->n86_a_seiko_9r65_2 n86_a_seiko_9r65_4 NP-SBJ n86_a_seiko_9r65_1->n86_a_seiko_9r65_4 n86_a_seiko_9r65_17 HVP;_Tn_ n86_a_seiko_9r65_1->n86_a_seiko_9r65_17 n86_a_seiko_9r65_19 NP-OB1 n86_a_seiko_9r65_1->n86_a_seiko_9r65_19 n86_a_seiko_9r65_59 PUNC n86_a_seiko_9r65_1->n86_a_seiko_9r65_59 n86_a_seiko_9r65_2->n86_a_seiko_9r65_3 n86_a_seiko_9r65_5 D n86_a_seiko_9r65_4->n86_a_seiko_9r65_5 n86_a_seiko_9r65_7 N n86_a_seiko_9r65_4->n86_a_seiko_9r65_7 n86_a_seiko_9r65_9 PP n86_a_seiko_9r65_4->n86_a_seiko_9r65_9 n86_a_seiko_9r65_5->n86_a_seiko_9r65_6 n86_a_seiko_9r65_7->n86_a_seiko_9r65_8 n86_a_seiko_9r65_10 P-ROLE n86_a_seiko_9r65_9->n86_a_seiko_9r65_10 n86_a_seiko_9r65_12 NP n86_a_seiko_9r65_9->n86_a_seiko_9r65_12 n86_a_seiko_9r65_10->n86_a_seiko_9r65_11 n86_a_seiko_9r65_13 D n86_a_seiko_9r65_12->n86_a_seiko_9r65_13 n86_a_seiko_9r65_15 N n86_a_seiko_9r65_12->n86_a_seiko_9r65_15 n86_a_seiko_9r65_13->n86_a_seiko_9r65_14 n86_a_seiko_9r65_15->n86_a_seiko_9r65_16 n86_a_seiko_9r65_17->n86_a_seiko_9r65_18 n86_a_seiko_9r65_20 D n86_a_seiko_9r65_19->n86_a_seiko_9r65_20 n86_a_seiko_9r65_22 N n86_a_seiko_9r65_19->n86_a_seiko_9r65_22 n86_a_seiko_9r65_24 IP-REL n86_a_seiko_9r65_19->n86_a_seiko_9r65_24 n86_a_seiko_9r65_20->n86_a_seiko_9r65_21 n86_a_seiko_9r65_22->n86_a_seiko_9r65_23 n86_a_seiko_9r65_25 C n86_a_seiko_9r65_24->n86_a_seiko_9r65_25 n86_a_seiko_9r65_27 NP-NIM n86_a_seiko_9r65_24->n86_a_seiko_9r65_27 n86_a_seiko_9r65_29 NP-SBJ n86_a_seiko_9r65_24->n86_a_seiko_9r65_29 n86_a_seiko_9r65_35 BEP;_cat_VePASS_ n86_a_seiko_9r65_24->n86_a_seiko_9r65_35 n86_a_seiko_9r65_37 IP-PPL-CAT n86_a_seiko_9r65_24->n86_a_seiko_9r65_37 n86_a_seiko_9r65_25->n86_a_seiko_9r65_26 n86_a_seiko_9r65_27->n86_a_seiko_9r65_28 n86_a_seiko_9r65_30 ADJP n86_a_seiko_9r65_29->n86_a_seiko_9r65_30 n86_a_seiko_9r65_33 N n86_a_seiko_9r65_29->n86_a_seiko_9r65_33 n86_a_seiko_9r65_31 ADJ n86_a_seiko_9r65_30->n86_a_seiko_9r65_31 n86_a_seiko_9r65_31->n86_a_seiko_9r65_32 n86_a_seiko_9r65_33->n86_a_seiko_9r65_34 n86_a_seiko_9r65_35->n86_a_seiko_9r65_36 n86_a_seiko_9r65_38 NP-LGS n86_a_seiko_9r65_37->n86_a_seiko_9r65_38 n86_a_seiko_9r65_40 VVN;_Tn_ n86_a_seiko_9r65_37->n86_a_seiko_9r65_40 n86_a_seiko_9r65_42 PP n86_a_seiko_9r65_37->n86_a_seiko_9r65_42 n86_a_seiko_9r65_38->n86_a_seiko_9r65_39 n86_a_seiko_9r65_40->n86_a_seiko_9r65_41 n86_a_seiko_9r65_43 P-ROLE n86_a_seiko_9r65_42->n86_a_seiko_9r65_43 n86_a_seiko_9r65_45 NP n86_a_seiko_9r65_42->n86_a_seiko_9r65_45 n86_a_seiko_9r65_43->n86_a_seiko_9r65_44 n86_a_seiko_9r65_46 NP-GEN n86_a_seiko_9r65_45->n86_a_seiko_9r65_46 n86_a_seiko_9r65_49 IP-PPL n86_a_seiko_9r65_45->n86_a_seiko_9r65_49 n86_a_seiko_9r65_57 NS n86_a_seiko_9r65_45->n86_a_seiko_9r65_57 n86_a_seiko_9r65_47 PRO;_genm_ n86_a_seiko_9r65_46->n86_a_seiko_9r65_47 n86_a_seiko_9r65_47->n86_a_seiko_9r65_48 n86_a_seiko_9r65_50 NP-OB1 n86_a_seiko_9r65_49->n86_a_seiko_9r65_50 n86_a_seiko_9r65_53 PUNC n86_a_seiko_9r65_49->n86_a_seiko_9r65_53 n86_a_seiko_9r65_55 VAG;_Tn_ n86_a_seiko_9r65_49->n86_a_seiko_9r65_55 n86_a_seiko_9r65_51 N n86_a_seiko_9r65_50->n86_a_seiko_9r65_51 n86_a_seiko_9r65_51->n86_a_seiko_9r65_52 n86_a_seiko_9r65_53->n86_a_seiko_9r65_54 n86_a_seiko_9r65_55->n86_a_seiko_9r65_56 n86_a_seiko_9r65_57->n86_a_seiko_9r65_58 n86_a_seiko_9r65_59->n86_a_seiko_9r65_60 
( (IP-MAT (SYM <white_circle>)
          (NP-SBJ (D The;{the})
                  (N movement;{movement})
                  (PP (P-ROLE of;{of})
                      (NP;{WATCH} (D this;{this})
                                  (N watch;{watch}))))
          (HVP;_Tn_ has;{have})
          (NP-OB1 (D a;{a})
                  (N structure;{structure})
                  (IP-REL (C that;{that})
                          (NP-NIM *T*)
                          (NP-SBJ (ADJP (ADJ consistent;{consistent}))
                                  (N pressure;{pressure}))
                          (BEP;_cat_VePASS_ is;{be})
                          (IP-PPL-CAT (NP-LGS *)
                                      (VVN;_Tn_ applied;{apply})
                                      (PP (P-ROLE on;{on})
                                          (NP (NP-GEN;{WATCH} (PRO;_genm_ its;{its}))
                                              (IP-PPL (NP-OB1 (N power;{power}))
                                                      (PUNC <hyphen>)
                                                      (VAG;_Tn_ transmitting;{transmit}))
                                              (NS wheels;{wheel}))))))
          (PUNC .))
  (ID 86_a_seiko_9r65))