Context                Previous, Next                Top


23_a_seiko_9r65
In one word, this is a “mechanical watch having accuracy equivalent to a quartz watch.”

%3 r_0023_0006__is is r_0023_0002__one_r_0023_0003__word one word r_0023_0006__is->r_0023_0002__one_r_0023_0003__word In [nim] r_0023_0005__this this r_0023_0006__is->r_0023_0005__this [arg0] r_0023_0007__a_r_0023_0010__watch a watch r_0023_0006__is->r_0023_0007__a_r_0023_0010__watch [prd] r_0023_0009__mechanical mechanical r_0023_0007__a_r_0023_0010__watch->r_0023_0009__mechanical [attrib] r_0023_0011__having having r_0023_0011__having->r_0023_0007__a_r_0023_0010__watch [arg0] r_0023_0012__accuracy accuracy r_0023_0011__having->r_0023_0012__accuracy [arg1] r_0023_0013__equivalent equivalent r_0023_0012__accuracy->r_0023_0013__equivalent [attrib] r_0023_0015__a_r_0023_0016__quartz_r_0023_0017__watch a quartz watch r_0023_0013__equivalent->r_0023_0015__a_r_0023_0016__quartz_r_0023_0017__watch to 
arc(r_0023_0006__is, r_0023_0002__one_r_0023_0003__word, r_0023_0001__In_nim5).
arc(r_0023_0006__is, r_0023_0005__this, arg0).
arc(r_0023_0006__is, r_0023_0007__a_r_0023_0010__watch, prd).
arc(r_0023_0007__a_r_0023_0010__watch, r_0023_0009__mechanical, attrib22).
arc(r_0023_0011__having, r_0023_0007__a_r_0023_0010__watch, arg0).
arc(r_0023_0011__having, r_0023_0012__accuracy, arg1).
arc(r_0023_0012__accuracy, r_0023_0013__equivalent, attrib33).
arc(r_0023_0013__equivalent, r_0023_0015__a_r_0023_0016__quartz_r_0023_0017__watch, r_0023_0014__to).


%3 r_0023_0013__equivalent equivalent r_0023_0015__a_r_0023_0016__quartz_r_0023_0017__watch a quartz watch r_0023_0013__equivalent->r_0023_0015__a_r_0023_0016__quartz_r_0023_0017__watch to r_0023_0012__accuracy accuracy r_0023_0012__accuracy->r_0023_0013__equivalent [attrib] r_0023_0011__having having r_0023_0011__having->r_0023_0012__accuracy [arg1] r_0023_0007__a_r_0023_0010__watch a watch r_0023_0011__having->r_0023_0007__a_r_0023_0010__watch [arg0] r_0023_0009__mechanical mechanical r_0023_0007__a_r_0023_0010__watch->r_0023_0009__mechanical [attrib] r_0023_0006__is is r_0023_0006__is->r_0023_0007__a_r_0023_0010__watch [prd] r_0023_0005__this this r_0023_0006__is->r_0023_0005__this [arg0] r_0023_0002__one_r_0023_0003__word one word r_0023_0006__is->r_0023_0002__one_r_0023_0003__word In [nim] 
fof(formula,axiom,
    ? [R_23_6_IS,R_23_5_THIS,R_23_2_ONE_WORD,R_23_11_HAVING,R_23_7_A_WATCH,R_23_9_MECHANICAL,R_23_12_ACCURACY,R_23_13_EQUIVALENT,R_23_15_A_QUARTZ_WATCH] :
      ( this(R_23_5_THIS)
      & one_word(R_23_2_ONE_WORD)
      & mechanical(R_23_9_MECHANICAL)
      & a_quartz_watch(R_23_15_A_QUARTZ_WATCH)
      & is(R_23_6_IS,R_23_5_THIS,R_23_7_A_WATCH)
      & a_watch(R_23_7_A_WATCH)
      & attrib22(R_23_7_A_WATCH,R_23_9_MECHANICAL)
      & in_nim5(R_23_6_IS,R_23_2_ONE_WORD)
      & having(R_23_11_HAVING,R_23_7_A_WATCH,R_23_12_ACCURACY)
      & accuracy(R_23_12_ACCURACY)
      & attrib33(R_23_12_ACCURACY,R_23_13_EQUIVALENT)
      & equivalent(R_23_13_EQUIVALENT)
      & to(R_23_13_EQUIVALENT,R_23_15_A_QUARTZ_WATCH) ) ).


n23_a_seiko_9r65 n23_a_seiko_9r65__1_1_1_1 In n23_a_seiko_9r65__1_1_2_1_1 one n23_a_seiko_9r65__1_1_2_2_1 word n23_a_seiko_9r65__1_2_1 , n23_a_seiko_9r65__1_3_1_1 this n23_a_seiko_9r65__1_4_1 is n23_a_seiko_9r65__1_5_1_1 a n23_a_seiko_9r65__1_5_2_1 <ldquo> n23_a_seiko_9r65__1_5_3_1_1 mechanical n23_a_seiko_9r65__1_5_4_1 watch n23_a_seiko_9r65__1_5_5_1_1 having n23_a_seiko_9r65__1_5_5_2_1_1 accuracy n23_a_seiko_9r65__1_5_5_2_2_1_1 equivalent n23_a_seiko_9r65__1_5_5_2_2_2_1_1 to n23_a_seiko_9r65__1_5_5_2_2_2_2_1_1 a n23_a_seiko_9r65__1_5_5_2_2_2_2_2_1 quartz n23_a_seiko_9r65__1_5_5_2_2_2_2_3_1 watch n23_a_seiko_9r65__1_6_1 . n23_a_seiko_9r65__1_7_1 <rdquo> n23_a_seiko_9r65__1 IP-MAT n23_a_seiko_9r65__1_1 PP-NIM n23_a_seiko_9r65__1->n23_a_seiko_9r65__1_1 n23_a_seiko_9r65__1_2 PUNC n23_a_seiko_9r65__1->n23_a_seiko_9r65__1_2 n23_a_seiko_9r65__1_3 NP-SBJ n23_a_seiko_9r65__1->n23_a_seiko_9r65__1_3 n23_a_seiko_9r65__1_4 BEP;_Ln_ n23_a_seiko_9r65__1->n23_a_seiko_9r65__1_4 n23_a_seiko_9r65__1_5 NP-PRD n23_a_seiko_9r65__1->n23_a_seiko_9r65__1_5 n23_a_seiko_9r65__1_6 PUNC n23_a_seiko_9r65__1->n23_a_seiko_9r65__1_6 n23_a_seiko_9r65__1_7 PURQ n23_a_seiko_9r65__1->n23_a_seiko_9r65__1_7 n23_a_seiko_9r65__1_1_1 P-ROLE n23_a_seiko_9r65__1_1->n23_a_seiko_9r65__1_1_1 n23_a_seiko_9r65__1_1_2 NP n23_a_seiko_9r65__1_1->n23_a_seiko_9r65__1_1_2 n23_a_seiko_9r65__1_1_1->n23_a_seiko_9r65__1_1_1_1 n23_a_seiko_9r65__1_1_2_1 NUM n23_a_seiko_9r65__1_1_2->n23_a_seiko_9r65__1_1_2_1 n23_a_seiko_9r65__1_1_2_2 N n23_a_seiko_9r65__1_1_2->n23_a_seiko_9r65__1_1_2_2 n23_a_seiko_9r65__1_1_2_1->n23_a_seiko_9r65__1_1_2_1_1 n23_a_seiko_9r65__1_1_2_2->n23_a_seiko_9r65__1_1_2_2_1 n23_a_seiko_9r65__1_2->n23_a_seiko_9r65__1_2_1 n23_a_seiko_9r65__1_3_1 D;_nphd_ n23_a_seiko_9r65__1_3->n23_a_seiko_9r65__1_3_1 n23_a_seiko_9r65__1_3_1->n23_a_seiko_9r65__1_3_1_1 n23_a_seiko_9r65__1_4->n23_a_seiko_9r65__1_4_1 n23_a_seiko_9r65__1_5_1 D n23_a_seiko_9r65__1_5->n23_a_seiko_9r65__1_5_1 n23_a_seiko_9r65__1_5_2 PULQ n23_a_seiko_9r65__1_5->n23_a_seiko_9r65__1_5_2 n23_a_seiko_9r65__1_5_3 ADJP n23_a_seiko_9r65__1_5->n23_a_seiko_9r65__1_5_3 n23_a_seiko_9r65__1_5_4 N n23_a_seiko_9r65__1_5->n23_a_seiko_9r65__1_5_4 n23_a_seiko_9r65__1_5_5 IP-PPL n23_a_seiko_9r65__1_5->n23_a_seiko_9r65__1_5_5 n23_a_seiko_9r65__1_5_1->n23_a_seiko_9r65__1_5_1_1 n23_a_seiko_9r65__1_5_2->n23_a_seiko_9r65__1_5_2_1 n23_a_seiko_9r65__1_5_3_1 ADJ n23_a_seiko_9r65__1_5_3->n23_a_seiko_9r65__1_5_3_1 n23_a_seiko_9r65__1_5_3_1->n23_a_seiko_9r65__1_5_3_1_1 n23_a_seiko_9r65__1_5_4->n23_a_seiko_9r65__1_5_4_1 n23_a_seiko_9r65__1_5_5_1 HAG;_Tn_ n23_a_seiko_9r65__1_5_5->n23_a_seiko_9r65__1_5_5_1 n23_a_seiko_9r65__1_5_5_2 NP-OB1 n23_a_seiko_9r65__1_5_5->n23_a_seiko_9r65__1_5_5_2 n23_a_seiko_9r65__1_5_5_1->n23_a_seiko_9r65__1_5_5_1_1 n23_a_seiko_9r65__1_5_5_2_1 N n23_a_seiko_9r65__1_5_5_2->n23_a_seiko_9r65__1_5_5_2_1 n23_a_seiko_9r65__1_5_5_2_2 ADJP n23_a_seiko_9r65__1_5_5_2->n23_a_seiko_9r65__1_5_5_2_2 n23_a_seiko_9r65__1_5_5_2_1->n23_a_seiko_9r65__1_5_5_2_1_1 n23_a_seiko_9r65__1_5_5_2_2_1 ADJ n23_a_seiko_9r65__1_5_5_2_2->n23_a_seiko_9r65__1_5_5_2_2_1 n23_a_seiko_9r65__1_5_5_2_2_2 PP n23_a_seiko_9r65__1_5_5_2_2->n23_a_seiko_9r65__1_5_5_2_2_2 n23_a_seiko_9r65__1_5_5_2_2_1->n23_a_seiko_9r65__1_5_5_2_2_1_1 n23_a_seiko_9r65__1_5_5_2_2_2_1 P-ROLE n23_a_seiko_9r65__1_5_5_2_2_2->n23_a_seiko_9r65__1_5_5_2_2_2_1 n23_a_seiko_9r65__1_5_5_2_2_2_2 NP n23_a_seiko_9r65__1_5_5_2_2_2->n23_a_seiko_9r65__1_5_5_2_2_2_2 n23_a_seiko_9r65__1_5_5_2_2_2_1->n23_a_seiko_9r65__1_5_5_2_2_2_1_1 n23_a_seiko_9r65__1_5_5_2_2_2_2_1 D n23_a_seiko_9r65__1_5_5_2_2_2_2->n23_a_seiko_9r65__1_5_5_2_2_2_2_1 n23_a_seiko_9r65__1_5_5_2_2_2_2_2 N n23_a_seiko_9r65__1_5_5_2_2_2_2->n23_a_seiko_9r65__1_5_5_2_2_2_2_2 n23_a_seiko_9r65__1_5_5_2_2_2_2_3 N n23_a_seiko_9r65__1_5_5_2_2_2_2->n23_a_seiko_9r65__1_5_5_2_2_2_2_3 n23_a_seiko_9r65__1_5_5_2_2_2_2_1->n23_a_seiko_9r65__1_5_5_2_2_2_2_1_1 n23_a_seiko_9r65__1_5_5_2_2_2_2_2->n23_a_seiko_9r65__1_5_5_2_2_2_2_2_1 n23_a_seiko_9r65__1_5_5_2_2_2_2_3->n23_a_seiko_9r65__1_5_5_2_2_2_2_3_1 n23_a_seiko_9r65__1_6->n23_a_seiko_9r65__1_6_1 n23_a_seiko_9r65__1_7->n23_a_seiko_9r65__1_7_1 
( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (NUM one;{one})
                      (N word;{word})))
          (PUNC ,)
          (NP-SBJ;{SPRING_DRIVE} (D;_nphd_ this;{this}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D a;{a})
                  (PULQ <ldquo>)
                  (ADJP (ADJ mechanical;{mechanical}))
                  (N watch;{watch})
                  (IP-PPL (HAG;_Tn_ having;{have})
                          (NP-OB1 (N accuracy;{accuracy})
                                  (ADJP (ADJ equivalent;{equivalent})
                                        (PP (P-ROLE to;{to})
                                            (NP (D a;{a})
                                                (N quartz;{quartz})
                                                (N watch;{watch})))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 23_a_seiko_9r65))