Context                Previous, Next                Top


57_a_seiko_9r65
This part has properties for expanding and contracting with temperature changes, and influences the accuracy of a watch.

%3 r_0057_0003__has has r_0057_0001__This_r_0057_0002__part This part r_0057_0003__has->r_0057_0001__This_r_0057_0002__part [arg0] r_0057_0004__properties properties r_0057_0003__has->r_0057_0004__properties [arg1] r_0057_0007__and and r_0057_0004__properties->r_0057_0007__and for r_0057_0006__expanding expanding r_0057_0007__and->r_0057_0006__expanding [conj1] r_0057_0008__contracting contracting r_0057_0007__and->r_0057_0008__contracting [conj2] r_0057_0010__temperature_r_0057_0011__changes temperature changes r_0057_0006__expanding->r_0057_0010__temperature_r_0057_0011__changes with [nim] z_000_57_a_seiko_9r65_17 r_0057_0006__expanding->z_000_57_a_seiko_9r65_17 [arg0] r_0057_0008__contracting->r_0057_0010__temperature_r_0057_0011__changes with [nim] r_0057_0008__contracting->z_000_57_a_seiko_9r65_17 [arg0] r_0057_0013__and and r_0057_0013__and->r_0057_0003__has [conj1] r_0057_0014__influences influences r_0057_0013__and->r_0057_0014__influences [conj2] r_0057_0014__influences->r_0057_0001__This_r_0057_0002__part [arg0] r_0057_0015__the_r_0057_0016__accuracy the accuracy r_0057_0014__influences->r_0057_0015__the_r_0057_0016__accuracy [arg1] r_0057_0018__a_r_0057_0019__watch a watch r_0057_0015__the_r_0057_0016__accuracy->r_0057_0018__a_r_0057_0019__watch of 
arc(r_0057_0003__has, r_0057_0001__This_r_0057_0002__part, arg0).
arc(r_0057_0003__has, r_0057_0004__properties, arg1).
arc(r_0057_0004__properties, r_0057_0007__and, r_0057_0005__for).
arc(r_0057_0006__expanding, r_0057_0010__temperature_r_0057_0011__changes, r_0057_0009__with_nim31).
arc(r_0057_0006__expanding, z_000_57_a_seiko_9r65_17, arg0).
arc(r_0057_0007__and, r_0057_0006__expanding, conj1).
arc(r_0057_0007__and, r_0057_0008__contracting, conj2).
arc(r_0057_0008__contracting, r_0057_0010__temperature_r_0057_0011__changes, r_0057_0009__with_nim31).
arc(r_0057_0008__contracting, z_000_57_a_seiko_9r65_17, arg0).
arc(r_0057_0013__and, r_0057_0003__has, conj1).
arc(r_0057_0013__and, r_0057_0014__influences, conj2).
arc(r_0057_0014__influences, r_0057_0001__This_r_0057_0002__part, arg0).
arc(r_0057_0014__influences, r_0057_0015__the_r_0057_0016__accuracy, arg1).
arc(r_0057_0015__the_r_0057_0016__accuracy, r_0057_0018__a_r_0057_0019__watch, r_0057_0017__of).


%3 r_0057_0015__the_r_0057_0016__accuracy the accuracy r_0057_0018__a_r_0057_0019__watch a watch r_0057_0015__the_r_0057_0016__accuracy->r_0057_0018__a_r_0057_0019__watch of r_0057_0014__influences influences r_0057_0014__influences->r_0057_0015__the_r_0057_0016__accuracy [arg1] r_0057_0001__This_r_0057_0002__part This part r_0057_0014__influences->r_0057_0001__This_r_0057_0002__part [arg0] r_0057_0013__and and r_0057_0013__and->r_0057_0014__influences [conj2] r_0057_0003__has has r_0057_0013__and->r_0057_0003__has [conj1] r_0057_0003__has->r_0057_0001__This_r_0057_0002__part [arg0] r_0057_0004__properties properties r_0057_0003__has->r_0057_0004__properties [arg1] r_0057_0008__contracting contracting z_000_57_a_seiko_9r65_17 r_0057_0008__contracting->z_000_57_a_seiko_9r65_17 [arg0] r_0057_0010__temperature_r_0057_0011__changes temperature changes r_0057_0008__contracting->r_0057_0010__temperature_r_0057_0011__changes with [nim] r_0057_0007__and and r_0057_0007__and->r_0057_0008__contracting [conj2] r_0057_0006__expanding expanding r_0057_0007__and->r_0057_0006__expanding [conj1] r_0057_0006__expanding->z_000_57_a_seiko_9r65_17 [arg0] r_0057_0006__expanding->r_0057_0010__temperature_r_0057_0011__changes with [nim] r_0057_0004__properties->r_0057_0007__and for 
fof(formula,axiom,
    ? [R_57_13_AND,R_57_3_HAS,R_57_4_PROPERTIES,R_57_7_AND,R_57_6_EXPANDING,R_57_8_CONTRACTING,Z_57_A_SEIKO_9R65_17,R_57_10_TEMPERATURE_CHANGES,R_57_14_INFLUENCES,R_57_1_THIS_PART,R_57_15_THE_ACCURACY,R_57_18_A_WATCH] :
      ( temperature_changes(R_57_10_TEMPERATURE_CHANGES)
      & this_part(R_57_1_THIS_PART)
      & a_watch(R_57_18_A_WATCH)
      & and(R_57_13_AND)
      & conj1(R_57_13_AND,R_57_3_HAS)
      & has(R_57_3_HAS,R_57_1_THIS_PART,R_57_4_PROPERTIES)
      & properties(R_57_4_PROPERTIES)
      & for(R_57_4_PROPERTIES,R_57_7_AND)
      & and(R_57_7_AND)
      & conj1(R_57_7_AND,R_57_6_EXPANDING)
      & expanding(R_57_6_EXPANDING,Z_57_A_SEIKO_9R65_17)
      & with_nim31(R_57_6_EXPANDING,R_57_10_TEMPERATURE_CHANGES)
      & conj2(R_57_7_AND,R_57_8_CONTRACTING)
      & contracting(R_57_8_CONTRACTING,Z_57_A_SEIKO_9R65_17)
      & with_nim31(R_57_8_CONTRACTING,R_57_10_TEMPERATURE_CHANGES)
      & conj2(R_57_13_AND,R_57_14_INFLUENCES)
      & influences(R_57_14_INFLUENCES,R_57_1_THIS_PART,R_57_15_THE_ACCURACY)
      & the_accuracy(R_57_15_THE_ACCURACY)
      & of(R_57_15_THE_ACCURACY,R_57_18_A_WATCH) ) ).


n57_a_seiko_9r65 n57_a_seiko_9r65__1_1_1_1 This n57_a_seiko_9r65__1_1_2_1 part n57_a_seiko_9r65__1_2_1_1_1 has n57_a_seiko_9r65__1_2_1_2_1_1 properties n57_a_seiko_9r65__1_2_1_2_2_1_1 for n57_a_seiko_9r65__1_2_1_2_2_2_1_1_1_1 expanding n57_a_seiko_9r65__1_2_1_2_2_2_1_2_1_1 and n57_a_seiko_9r65__1_2_1_2_2_2_1_2_2_1_1 contracting n57_a_seiko_9r65__1_2_1_2_2_2_2_1_1 with n57_a_seiko_9r65__1_2_1_2_2_2_2_2_1_1 temperature n57_a_seiko_9r65__1_2_1_2_2_2_2_2_2_1 changes n57_a_seiko_9r65__1_2_2_1 , n57_a_seiko_9r65__1_2_3_1_1 and n57_a_seiko_9r65__1_2_3_2_1_1 influences n57_a_seiko_9r65__1_2_3_2_2_1_1 the n57_a_seiko_9r65__1_2_3_2_2_2_1 accuracy n57_a_seiko_9r65__1_2_3_2_2_3_1_1 of n57_a_seiko_9r65__1_2_3_2_2_3_2_1_1 a n57_a_seiko_9r65__1_2_3_2_2_3_2_2_1 watch n57_a_seiko_9r65__1_3_1 . n57_a_seiko_9r65__1 IP-MAT n57_a_seiko_9r65__1_1 NP-SBJ n57_a_seiko_9r65__1->n57_a_seiko_9r65__1_1 n57_a_seiko_9r65__1_2 ILYR n57_a_seiko_9r65__1->n57_a_seiko_9r65__1_2 n57_a_seiko_9r65__1_3 PUNC n57_a_seiko_9r65__1->n57_a_seiko_9r65__1_3 n57_a_seiko_9r65__1_1_1 D n57_a_seiko_9r65__1_1->n57_a_seiko_9r65__1_1_1 n57_a_seiko_9r65__1_1_2 N n57_a_seiko_9r65__1_1->n57_a_seiko_9r65__1_1_2 n57_a_seiko_9r65__1_1_1->n57_a_seiko_9r65__1_1_1_1 n57_a_seiko_9r65__1_1_2->n57_a_seiko_9r65__1_1_2_1 n57_a_seiko_9r65__1_2_1 ILYR n57_a_seiko_9r65__1_2->n57_a_seiko_9r65__1_2_1 n57_a_seiko_9r65__1_2_2 PUNC n57_a_seiko_9r65__1_2->n57_a_seiko_9r65__1_2_2 n57_a_seiko_9r65__1_2_3 CONJP n57_a_seiko_9r65__1_2->n57_a_seiko_9r65__1_2_3 n57_a_seiko_9r65__1_2_1_1 HVP;_Tn_ n57_a_seiko_9r65__1_2_1->n57_a_seiko_9r65__1_2_1_1 n57_a_seiko_9r65__1_2_1_2 NP-OB1 n57_a_seiko_9r65__1_2_1->n57_a_seiko_9r65__1_2_1_2 n57_a_seiko_9r65__1_2_1_1->n57_a_seiko_9r65__1_2_1_1_1 n57_a_seiko_9r65__1_2_1_2_1 NS n57_a_seiko_9r65__1_2_1_2->n57_a_seiko_9r65__1_2_1_2_1 n57_a_seiko_9r65__1_2_1_2_2 PP n57_a_seiko_9r65__1_2_1_2->n57_a_seiko_9r65__1_2_1_2_2 n57_a_seiko_9r65__1_2_1_2_1->n57_a_seiko_9r65__1_2_1_2_1_1 n57_a_seiko_9r65__1_2_1_2_2_1 P-ROLE n57_a_seiko_9r65__1_2_1_2_2->n57_a_seiko_9r65__1_2_1_2_2_1 n57_a_seiko_9r65__1_2_1_2_2_2 IP-PPL n57_a_seiko_9r65__1_2_1_2_2->n57_a_seiko_9r65__1_2_1_2_2_2 n57_a_seiko_9r65__1_2_1_2_2_1->n57_a_seiko_9r65__1_2_1_2_2_1_1 n57_a_seiko_9r65__1_2_1_2_2_2_1 ILYR n57_a_seiko_9r65__1_2_1_2_2_2->n57_a_seiko_9r65__1_2_1_2_2_2_1 n57_a_seiko_9r65__1_2_1_2_2_2_2 PP-NIM n57_a_seiko_9r65__1_2_1_2_2_2->n57_a_seiko_9r65__1_2_1_2_2_2_2 n57_a_seiko_9r65__1_2_1_2_2_2_1_1 ILYR n57_a_seiko_9r65__1_2_1_2_2_2_1->n57_a_seiko_9r65__1_2_1_2_2_2_1_1 n57_a_seiko_9r65__1_2_1_2_2_2_1_2 CONJP n57_a_seiko_9r65__1_2_1_2_2_2_1->n57_a_seiko_9r65__1_2_1_2_2_2_1_2 n57_a_seiko_9r65__1_2_1_2_2_2_1_1_1 VAG;_I_ n57_a_seiko_9r65__1_2_1_2_2_2_1_1->n57_a_seiko_9r65__1_2_1_2_2_2_1_1_1 n57_a_seiko_9r65__1_2_1_2_2_2_1_1_1->n57_a_seiko_9r65__1_2_1_2_2_2_1_1_1_1 n57_a_seiko_9r65__1_2_1_2_2_2_1_2_1 CONJ n57_a_seiko_9r65__1_2_1_2_2_2_1_2->n57_a_seiko_9r65__1_2_1_2_2_2_1_2_1 n57_a_seiko_9r65__1_2_1_2_2_2_1_2_2 ILYR n57_a_seiko_9r65__1_2_1_2_2_2_1_2->n57_a_seiko_9r65__1_2_1_2_2_2_1_2_2 n57_a_seiko_9r65__1_2_1_2_2_2_1_2_1->n57_a_seiko_9r65__1_2_1_2_2_2_1_2_1_1 n57_a_seiko_9r65__1_2_1_2_2_2_1_2_2_1 VAG;_I_ n57_a_seiko_9r65__1_2_1_2_2_2_1_2_2->n57_a_seiko_9r65__1_2_1_2_2_2_1_2_2_1 n57_a_seiko_9r65__1_2_1_2_2_2_1_2_2_1->n57_a_seiko_9r65__1_2_1_2_2_2_1_2_2_1_1 n57_a_seiko_9r65__1_2_1_2_2_2_2_1 P-ROLE n57_a_seiko_9r65__1_2_1_2_2_2_2->n57_a_seiko_9r65__1_2_1_2_2_2_2_1 n57_a_seiko_9r65__1_2_1_2_2_2_2_2 NP n57_a_seiko_9r65__1_2_1_2_2_2_2->n57_a_seiko_9r65__1_2_1_2_2_2_2_2 n57_a_seiko_9r65__1_2_1_2_2_2_2_1->n57_a_seiko_9r65__1_2_1_2_2_2_2_1_1 n57_a_seiko_9r65__1_2_1_2_2_2_2_2_1 N n57_a_seiko_9r65__1_2_1_2_2_2_2_2->n57_a_seiko_9r65__1_2_1_2_2_2_2_2_1 n57_a_seiko_9r65__1_2_1_2_2_2_2_2_2 NS n57_a_seiko_9r65__1_2_1_2_2_2_2_2->n57_a_seiko_9r65__1_2_1_2_2_2_2_2_2 n57_a_seiko_9r65__1_2_1_2_2_2_2_2_1->n57_a_seiko_9r65__1_2_1_2_2_2_2_2_1_1 n57_a_seiko_9r65__1_2_1_2_2_2_2_2_2->n57_a_seiko_9r65__1_2_1_2_2_2_2_2_2_1 n57_a_seiko_9r65__1_2_2->n57_a_seiko_9r65__1_2_2_1 n57_a_seiko_9r65__1_2_3_1 CONJ n57_a_seiko_9r65__1_2_3->n57_a_seiko_9r65__1_2_3_1 n57_a_seiko_9r65__1_2_3_2 ILYR n57_a_seiko_9r65__1_2_3->n57_a_seiko_9r65__1_2_3_2 n57_a_seiko_9r65__1_2_3_1->n57_a_seiko_9r65__1_2_3_1_1 n57_a_seiko_9r65__1_2_3_2_1 VBP;_Tn_ n57_a_seiko_9r65__1_2_3_2->n57_a_seiko_9r65__1_2_3_2_1 n57_a_seiko_9r65__1_2_3_2_2 NP-OB1 n57_a_seiko_9r65__1_2_3_2->n57_a_seiko_9r65__1_2_3_2_2 n57_a_seiko_9r65__1_2_3_2_1->n57_a_seiko_9r65__1_2_3_2_1_1 n57_a_seiko_9r65__1_2_3_2_2_1 D n57_a_seiko_9r65__1_2_3_2_2->n57_a_seiko_9r65__1_2_3_2_2_1 n57_a_seiko_9r65__1_2_3_2_2_2 N n57_a_seiko_9r65__1_2_3_2_2->n57_a_seiko_9r65__1_2_3_2_2_2 n57_a_seiko_9r65__1_2_3_2_2_3 PP n57_a_seiko_9r65__1_2_3_2_2->n57_a_seiko_9r65__1_2_3_2_2_3 n57_a_seiko_9r65__1_2_3_2_2_1->n57_a_seiko_9r65__1_2_3_2_2_1_1 n57_a_seiko_9r65__1_2_3_2_2_2->n57_a_seiko_9r65__1_2_3_2_2_2_1 n57_a_seiko_9r65__1_2_3_2_2_3_1 P-ROLE n57_a_seiko_9r65__1_2_3_2_2_3->n57_a_seiko_9r65__1_2_3_2_2_3_1 n57_a_seiko_9r65__1_2_3_2_2_3_2 NP n57_a_seiko_9r65__1_2_3_2_2_3->n57_a_seiko_9r65__1_2_3_2_2_3_2 n57_a_seiko_9r65__1_2_3_2_2_3_1->n57_a_seiko_9r65__1_2_3_2_2_3_1_1 n57_a_seiko_9r65__1_2_3_2_2_3_2_1 D n57_a_seiko_9r65__1_2_3_2_2_3_2->n57_a_seiko_9r65__1_2_3_2_2_3_2_1 n57_a_seiko_9r65__1_2_3_2_2_3_2_2 N n57_a_seiko_9r65__1_2_3_2_2_3_2->n57_a_seiko_9r65__1_2_3_2_2_3_2_2 n57_a_seiko_9r65__1_2_3_2_2_3_2_1->n57_a_seiko_9r65__1_2_3_2_2_3_2_1_1 n57_a_seiko_9r65__1_2_3_2_2_3_2_2->n57_a_seiko_9r65__1_2_3_2_2_3_2_2_1 n57_a_seiko_9r65__1_3->n57_a_seiko_9r65__1_3_1 
( (IP-MAT (NP-SBJ;{BALANCE} (D This;{this})
                            (N part;{part}))
          (ILYR (ILYR (HVP;_Tn_ has;{have})
                      (NP-OB1 (NS properties;{property})
                              (PP (P-ROLE for;{for})
                                  (IP-PPL (ILYR (ILYR (VAG;_I_ expanding;{expand}))
                                                (CONJP (CONJ and;{and})
                                                       (ILYR (VAG;_I_ contracting;{contract}))))
                                          (PP-NIM (P-ROLE with;{with})
                                                  (NP (N temperature;{temperature})
                                                      (NS changes;{change})))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (VBP;_Tn_ influences;{influence})
                             (NP-OB1 (D the;{the})
                                     (N accuracy;{accuracy})
                                     (PP (P-ROLE of;{of})
                                         (NP (D a;{a})
                                             (N watch;{watch})))))))
          (PUNC .))
  (ID 57_a_seiko_9r65))