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_0020__wheels wheels r_0086_0005__this_r_0086_0006__watch this watch 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] 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_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_0012__pressure pressure r_0086_0010__that_r_0086_0013__is_r_0086_0014__applied->r_0086_0012__pressure [arg1] r_0086_0008__a_r_0086_0009__structure a structure r_0086_0010__that_r_0086_0013__is_r_0086_0014__applied->r_0086_0008__a_r_0086_0009__structure [nim] r_0086_0011__consistent consistent r_0086_0012__pressure->r_0086_0011__consistent [attrib] r_0086_0002__The_r_0086_0003__movement The movement r_0086_0002__The_r_0086_0003__movement->r_0086_0005__this_r_0086_0006__watch of r_0086_0001___white_circle__r_0086_0007__has white circle  has r_0086_0001___white_circle__r_0086_0007__has->r_0086_0008__a_r_0086_0009__structure [arg1] r_0086_0001___white_circle__r_0086_0007__has->r_0086_0002__The_r_0086_0003__movement [arg0] 
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__1_1_1 <white_circle> n86_a_seiko_9r65__1_2_1_1 The n86_a_seiko_9r65__1_2_2_1 movement n86_a_seiko_9r65__1_2_3_1_1 of n86_a_seiko_9r65__1_2_3_2_1_1 this n86_a_seiko_9r65__1_2_3_2_2_1 watch n86_a_seiko_9r65__1_3_1 has n86_a_seiko_9r65__1_4_1_1 a n86_a_seiko_9r65__1_4_2_1 structure n86_a_seiko_9r65__1_4_3_1_1 that n86_a_seiko_9r65__1_4_3_2_1 *T* n86_a_seiko_9r65__1_4_3_3_1_1_1 consistent n86_a_seiko_9r65__1_4_3_3_2_1 pressure n86_a_seiko_9r65__1_4_3_4_1 is n86_a_seiko_9r65__1_4_3_5_1_1 * n86_a_seiko_9r65__1_4_3_5_2_1 applied n86_a_seiko_9r65__1_4_3_5_3_1_1 on n86_a_seiko_9r65__1_4_3_5_3_2_1_1_1 its n86_a_seiko_9r65__1_4_3_5_3_2_2_1_1_1 power n86_a_seiko_9r65__1_4_3_5_3_2_2_2_1 - n86_a_seiko_9r65__1_4_3_5_3_2_2_3_1 transmitting n86_a_seiko_9r65__1_4_3_5_3_2_3_1 wheels n86_a_seiko_9r65__1_5_1 . n86_a_seiko_9r65__1 IP-MAT n86_a_seiko_9r65__1_1 SYM n86_a_seiko_9r65__1->n86_a_seiko_9r65__1_1 n86_a_seiko_9r65__1_2 NP-SBJ n86_a_seiko_9r65__1->n86_a_seiko_9r65__1_2 n86_a_seiko_9r65__1_3 HVP;_Tn_ n86_a_seiko_9r65__1->n86_a_seiko_9r65__1_3 n86_a_seiko_9r65__1_4 NP-OB1 n86_a_seiko_9r65__1->n86_a_seiko_9r65__1_4 n86_a_seiko_9r65__1_5 PUNC n86_a_seiko_9r65__1->n86_a_seiko_9r65__1_5 n86_a_seiko_9r65__1_1->n86_a_seiko_9r65__1_1_1 n86_a_seiko_9r65__1_2_1 D n86_a_seiko_9r65__1_2->n86_a_seiko_9r65__1_2_1 n86_a_seiko_9r65__1_2_2 N n86_a_seiko_9r65__1_2->n86_a_seiko_9r65__1_2_2 n86_a_seiko_9r65__1_2_3 PP n86_a_seiko_9r65__1_2->n86_a_seiko_9r65__1_2_3 n86_a_seiko_9r65__1_2_1->n86_a_seiko_9r65__1_2_1_1 n86_a_seiko_9r65__1_2_2->n86_a_seiko_9r65__1_2_2_1 n86_a_seiko_9r65__1_2_3_1 P-ROLE n86_a_seiko_9r65__1_2_3->n86_a_seiko_9r65__1_2_3_1 n86_a_seiko_9r65__1_2_3_2 NP n86_a_seiko_9r65__1_2_3->n86_a_seiko_9r65__1_2_3_2 n86_a_seiko_9r65__1_2_3_1->n86_a_seiko_9r65__1_2_3_1_1 n86_a_seiko_9r65__1_2_3_2_1 D n86_a_seiko_9r65__1_2_3_2->n86_a_seiko_9r65__1_2_3_2_1 n86_a_seiko_9r65__1_2_3_2_2 N n86_a_seiko_9r65__1_2_3_2->n86_a_seiko_9r65__1_2_3_2_2 n86_a_seiko_9r65__1_2_3_2_1->n86_a_seiko_9r65__1_2_3_2_1_1 n86_a_seiko_9r65__1_2_3_2_2->n86_a_seiko_9r65__1_2_3_2_2_1 n86_a_seiko_9r65__1_3->n86_a_seiko_9r65__1_3_1 n86_a_seiko_9r65__1_4_1 D n86_a_seiko_9r65__1_4->n86_a_seiko_9r65__1_4_1 n86_a_seiko_9r65__1_4_2 N n86_a_seiko_9r65__1_4->n86_a_seiko_9r65__1_4_2 n86_a_seiko_9r65__1_4_3 IP-REL n86_a_seiko_9r65__1_4->n86_a_seiko_9r65__1_4_3 n86_a_seiko_9r65__1_4_1->n86_a_seiko_9r65__1_4_1_1 n86_a_seiko_9r65__1_4_2->n86_a_seiko_9r65__1_4_2_1 n86_a_seiko_9r65__1_4_3_1 C n86_a_seiko_9r65__1_4_3->n86_a_seiko_9r65__1_4_3_1 n86_a_seiko_9r65__1_4_3_2 NP-NIM n86_a_seiko_9r65__1_4_3->n86_a_seiko_9r65__1_4_3_2 n86_a_seiko_9r65__1_4_3_3 NP-SBJ n86_a_seiko_9r65__1_4_3->n86_a_seiko_9r65__1_4_3_3 n86_a_seiko_9r65__1_4_3_4 BEP;_cat_VePASS_ n86_a_seiko_9r65__1_4_3->n86_a_seiko_9r65__1_4_3_4 n86_a_seiko_9r65__1_4_3_5 IP-PPL-CAT n86_a_seiko_9r65__1_4_3->n86_a_seiko_9r65__1_4_3_5 n86_a_seiko_9r65__1_4_3_1->n86_a_seiko_9r65__1_4_3_1_1 n86_a_seiko_9r65__1_4_3_2->n86_a_seiko_9r65__1_4_3_2_1 n86_a_seiko_9r65__1_4_3_3_1 ADJP n86_a_seiko_9r65__1_4_3_3->n86_a_seiko_9r65__1_4_3_3_1 n86_a_seiko_9r65__1_4_3_3_2 N n86_a_seiko_9r65__1_4_3_3->n86_a_seiko_9r65__1_4_3_3_2 n86_a_seiko_9r65__1_4_3_3_1_1 ADJ n86_a_seiko_9r65__1_4_3_3_1->n86_a_seiko_9r65__1_4_3_3_1_1 n86_a_seiko_9r65__1_4_3_3_1_1->n86_a_seiko_9r65__1_4_3_3_1_1_1 n86_a_seiko_9r65__1_4_3_3_2->n86_a_seiko_9r65__1_4_3_3_2_1 n86_a_seiko_9r65__1_4_3_4->n86_a_seiko_9r65__1_4_3_4_1 n86_a_seiko_9r65__1_4_3_5_1 NP-LGS n86_a_seiko_9r65__1_4_3_5->n86_a_seiko_9r65__1_4_3_5_1 n86_a_seiko_9r65__1_4_3_5_2 VVN;_Tn_ n86_a_seiko_9r65__1_4_3_5->n86_a_seiko_9r65__1_4_3_5_2 n86_a_seiko_9r65__1_4_3_5_3 PP n86_a_seiko_9r65__1_4_3_5->n86_a_seiko_9r65__1_4_3_5_3 n86_a_seiko_9r65__1_4_3_5_1->n86_a_seiko_9r65__1_4_3_5_1_1 n86_a_seiko_9r65__1_4_3_5_2->n86_a_seiko_9r65__1_4_3_5_2_1 n86_a_seiko_9r65__1_4_3_5_3_1 P-ROLE n86_a_seiko_9r65__1_4_3_5_3->n86_a_seiko_9r65__1_4_3_5_3_1 n86_a_seiko_9r65__1_4_3_5_3_2 NP n86_a_seiko_9r65__1_4_3_5_3->n86_a_seiko_9r65__1_4_3_5_3_2 n86_a_seiko_9r65__1_4_3_5_3_1->n86_a_seiko_9r65__1_4_3_5_3_1_1 n86_a_seiko_9r65__1_4_3_5_3_2_1 NP-GEN n86_a_seiko_9r65__1_4_3_5_3_2->n86_a_seiko_9r65__1_4_3_5_3_2_1 n86_a_seiko_9r65__1_4_3_5_3_2_2 IP-PPL n86_a_seiko_9r65__1_4_3_5_3_2->n86_a_seiko_9r65__1_4_3_5_3_2_2 n86_a_seiko_9r65__1_4_3_5_3_2_3 NS n86_a_seiko_9r65__1_4_3_5_3_2->n86_a_seiko_9r65__1_4_3_5_3_2_3 n86_a_seiko_9r65__1_4_3_5_3_2_1_1 PRO;_genm_ n86_a_seiko_9r65__1_4_3_5_3_2_1->n86_a_seiko_9r65__1_4_3_5_3_2_1_1 n86_a_seiko_9r65__1_4_3_5_3_2_1_1->n86_a_seiko_9r65__1_4_3_5_3_2_1_1_1 n86_a_seiko_9r65__1_4_3_5_3_2_2_1 NP-OB1 n86_a_seiko_9r65__1_4_3_5_3_2_2->n86_a_seiko_9r65__1_4_3_5_3_2_2_1 n86_a_seiko_9r65__1_4_3_5_3_2_2_2 PUNC n86_a_seiko_9r65__1_4_3_5_3_2_2->n86_a_seiko_9r65__1_4_3_5_3_2_2_2 n86_a_seiko_9r65__1_4_3_5_3_2_2_3 VAG;_Tn_ n86_a_seiko_9r65__1_4_3_5_3_2_2->n86_a_seiko_9r65__1_4_3_5_3_2_2_3 n86_a_seiko_9r65__1_4_3_5_3_2_2_1_1 N n86_a_seiko_9r65__1_4_3_5_3_2_2_1->n86_a_seiko_9r65__1_4_3_5_3_2_2_1_1 n86_a_seiko_9r65__1_4_3_5_3_2_2_1_1->n86_a_seiko_9r65__1_4_3_5_3_2_2_1_1_1 n86_a_seiko_9r65__1_4_3_5_3_2_2_2->n86_a_seiko_9r65__1_4_3_5_3_2_2_2_1 n86_a_seiko_9r65__1_4_3_5_3_2_2_3->n86_a_seiko_9r65__1_4_3_5_3_2_2_3_1 n86_a_seiko_9r65__1_4_3_5_3_2_3->n86_a_seiko_9r65__1_4_3_5_3_2_3_1 n86_a_seiko_9r65__1_5->n86_a_seiko_9r65__1_5_1 
( (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))