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_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 
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_4 This n57_a_seiko_9r65_6 part n57_a_seiko_9r65_10 has n57_a_seiko_9r65_13 properties n57_a_seiko_9r65_16 for n57_a_seiko_9r65_21 expanding n57_a_seiko_9r65_24 and n57_a_seiko_9r65_27 contracting n57_a_seiko_9r65_30 with n57_a_seiko_9r65_33 temperature n57_a_seiko_9r65_35 changes n57_a_seiko_9r65_37 , n57_a_seiko_9r65_40 and n57_a_seiko_9r65_43 influences n57_a_seiko_9r65_46 the n57_a_seiko_9r65_48 accuracy n57_a_seiko_9r65_51 of n57_a_seiko_9r65_54 a n57_a_seiko_9r65_56 watch n57_a_seiko_9r65_58 . n57_a_seiko_9r65_1 IP-MAT n57_a_seiko_9r65_2 NP-SBJ n57_a_seiko_9r65_1->n57_a_seiko_9r65_2 n57_a_seiko_9r65_7 ILYR n57_a_seiko_9r65_1->n57_a_seiko_9r65_7 n57_a_seiko_9r65_57 PUNC n57_a_seiko_9r65_1->n57_a_seiko_9r65_57 n57_a_seiko_9r65_3 D n57_a_seiko_9r65_2->n57_a_seiko_9r65_3 n57_a_seiko_9r65_5 N n57_a_seiko_9r65_2->n57_a_seiko_9r65_5 n57_a_seiko_9r65_3->n57_a_seiko_9r65_4 n57_a_seiko_9r65_5->n57_a_seiko_9r65_6 n57_a_seiko_9r65_8 ILYR n57_a_seiko_9r65_7->n57_a_seiko_9r65_8 n57_a_seiko_9r65_36 PUNC n57_a_seiko_9r65_7->n57_a_seiko_9r65_36 n57_a_seiko_9r65_38 CONJP n57_a_seiko_9r65_7->n57_a_seiko_9r65_38 n57_a_seiko_9r65_9 HVP;_Tn_ n57_a_seiko_9r65_8->n57_a_seiko_9r65_9 n57_a_seiko_9r65_11 NP-OB1 n57_a_seiko_9r65_8->n57_a_seiko_9r65_11 n57_a_seiko_9r65_9->n57_a_seiko_9r65_10 n57_a_seiko_9r65_12 NS n57_a_seiko_9r65_11->n57_a_seiko_9r65_12 n57_a_seiko_9r65_14 PP n57_a_seiko_9r65_11->n57_a_seiko_9r65_14 n57_a_seiko_9r65_12->n57_a_seiko_9r65_13 n57_a_seiko_9r65_15 P-ROLE n57_a_seiko_9r65_14->n57_a_seiko_9r65_15 n57_a_seiko_9r65_17 IP-PPL n57_a_seiko_9r65_14->n57_a_seiko_9r65_17 n57_a_seiko_9r65_15->n57_a_seiko_9r65_16 n57_a_seiko_9r65_18 ILYR n57_a_seiko_9r65_17->n57_a_seiko_9r65_18 n57_a_seiko_9r65_28 PP-NIM n57_a_seiko_9r65_17->n57_a_seiko_9r65_28 n57_a_seiko_9r65_19 ILYR n57_a_seiko_9r65_18->n57_a_seiko_9r65_19 n57_a_seiko_9r65_22 CONJP n57_a_seiko_9r65_18->n57_a_seiko_9r65_22 n57_a_seiko_9r65_20 VAG;_I_ n57_a_seiko_9r65_19->n57_a_seiko_9r65_20 n57_a_seiko_9r65_20->n57_a_seiko_9r65_21 n57_a_seiko_9r65_23 CONJ n57_a_seiko_9r65_22->n57_a_seiko_9r65_23 n57_a_seiko_9r65_25 ILYR n57_a_seiko_9r65_22->n57_a_seiko_9r65_25 n57_a_seiko_9r65_23->n57_a_seiko_9r65_24 n57_a_seiko_9r65_26 VAG;_I_ n57_a_seiko_9r65_25->n57_a_seiko_9r65_26 n57_a_seiko_9r65_26->n57_a_seiko_9r65_27 n57_a_seiko_9r65_29 P-ROLE n57_a_seiko_9r65_28->n57_a_seiko_9r65_29 n57_a_seiko_9r65_31 NP n57_a_seiko_9r65_28->n57_a_seiko_9r65_31 n57_a_seiko_9r65_29->n57_a_seiko_9r65_30 n57_a_seiko_9r65_32 N n57_a_seiko_9r65_31->n57_a_seiko_9r65_32 n57_a_seiko_9r65_34 NS n57_a_seiko_9r65_31->n57_a_seiko_9r65_34 n57_a_seiko_9r65_32->n57_a_seiko_9r65_33 n57_a_seiko_9r65_34->n57_a_seiko_9r65_35 n57_a_seiko_9r65_36->n57_a_seiko_9r65_37 n57_a_seiko_9r65_39 CONJ n57_a_seiko_9r65_38->n57_a_seiko_9r65_39 n57_a_seiko_9r65_41 ILYR n57_a_seiko_9r65_38->n57_a_seiko_9r65_41 n57_a_seiko_9r65_39->n57_a_seiko_9r65_40 n57_a_seiko_9r65_42 VBP;_Tn_ n57_a_seiko_9r65_41->n57_a_seiko_9r65_42 n57_a_seiko_9r65_44 NP-OB1 n57_a_seiko_9r65_41->n57_a_seiko_9r65_44 n57_a_seiko_9r65_42->n57_a_seiko_9r65_43 n57_a_seiko_9r65_45 D n57_a_seiko_9r65_44->n57_a_seiko_9r65_45 n57_a_seiko_9r65_47 N n57_a_seiko_9r65_44->n57_a_seiko_9r65_47 n57_a_seiko_9r65_49 PP n57_a_seiko_9r65_44->n57_a_seiko_9r65_49 n57_a_seiko_9r65_45->n57_a_seiko_9r65_46 n57_a_seiko_9r65_47->n57_a_seiko_9r65_48 n57_a_seiko_9r65_50 P-ROLE n57_a_seiko_9r65_49->n57_a_seiko_9r65_50 n57_a_seiko_9r65_52 NP n57_a_seiko_9r65_49->n57_a_seiko_9r65_52 n57_a_seiko_9r65_50->n57_a_seiko_9r65_51 n57_a_seiko_9r65_53 D n57_a_seiko_9r65_52->n57_a_seiko_9r65_53 n57_a_seiko_9r65_55 N n57_a_seiko_9r65_52->n57_a_seiko_9r65_55 n57_a_seiko_9r65_53->n57_a_seiko_9r65_54 n57_a_seiko_9r65_55->n57_a_seiko_9r65_56 n57_a_seiko_9r65_57->n57_a_seiko_9r65_58 
( (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))